Showing
1 - 13
results of
13
for search '
'
Skip to content
CAVAL Home
Start Over
我的帐户
退出
登录
语言
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
全文检索
题名
作者
主题
ISBN/ISSN
条码
检索
高级检索
Reset Filters
主题建议:
Proof theory
Reset Filters
Show filters (1)
主题建议:
Proof theory
检索结果
在您的搜寻 主题建议
在您的搜寻 主题建议
Proof theory
Congresses
2
Programming languages (Electronic computers)
2
Semantics
2
Artificial intelligence
1
Combinatory logic
1
Intuitionistic mathematics
1
Logic programming
1
Mathematical analysis
1
Modal logic
1
Modality (Logic)
1
Nonclassical mathematical logic
1
Recursive programming
1
Showing
1 - 13
results of
13
for search '
'
, 查询时间: 0.01s
Refine Results
排序
相关性排序
日期递增
日期递增
索书号排序
作者排序
标题
1
会议录
图书
载入...
Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /
出版 1992
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
2
图书
载入...
Beweistheorie.
由
Schutte, K. (Kurt)
出版 1960
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
3
图书
载入...
Proof theory /
由
Takeuti, Gaisi, 1926-
出版 1975
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
4
图书
载入...
Proof theory /
由
Schütte, K. (Kurt)
出版 1977
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
5
图书
载入...
Proof theory : an introduction /
由
Pohlers, Wolfram
出版 1989
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
6
图书
载入...
The unprovability of consistency : an essay in modal logic /
由
Boolos, George
出版 1979
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
7
图书
载入...
On the shape of mathematical arguments /
由
Gasteren, A. J. M. (Antonetta J. M.) van, 1952-
出版 1990
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
8
图书
载入...
Recursive program schemes : semantics and proof theory /
由
Roever, W.-P. de
出版 1976
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
9
图书
载入...
Absoluteness of intuitionistic logic /
由
Leivant, Daniel Maurice Raphaël
出版 1979
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
10
图书
载入...
Proof theory of modal logic /
出版 1996
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
11
图书
载入...
Analysis : with an introduction to proof /
由
Lay, Steven R., 1944-
出版 1990
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
12
图书
载入...
Axiomatising the logic of computer programming /
由
Goldblatt, Robert
出版 1982
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
13
Thesis
图书
载入...
Combinators, -terms and proof theory.
由
Stenlund, Soren
出版 1972
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
检索工具:
得到RSS订阅
–
推荐此搜索
–
保存搜索
Back
Refine Results
出版年
来自:
到:
语言
English
12
German
1
主题
Q - Science
9