×
南卡罗来纳州克莱恩。

初等直觉主义形式主义中蕴涵下的析取与存在。 （英语） Zbl 0112.24502号

J.塞姆。日志。 27, 11-18 (1963); 增编同上，第28、154-156（1964年）。
审核人：克赖塞尔
页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描的页面
扫描Zbl 0112.24502

引用于20文件

MSC公司：

03年XX月 数学逻辑和基础

关键词：

数学逻辑

引文：

Zbl 0102.24704号;Zbl 0117.01005号
PDF格式BibTeX公司 XML格式引用
\textit{S.C.Kleene}，J.Symb。日志。27、11--18（1963年；Zbl 0112.24502）
全文： 内政部

参考文献：

[1] 关于直觉形式系统中AVC，A-Ex）B（x）型的公式25 pp 27–（1960）
[2] 内政部：10.1007/BF01360048·Zbl 0071.24504号 ·doi:10.1007/BF01360048
[3] Wien的Akademie der Wissenschaften，Mathematisch-naturwissenschaffliche Klasse，Anzeiger 69 pp 65–（1932）
[4] Mathematische Zeitschrift 39第176页–（1934）
[5] 内政部：10.1090/S0002-9947-1953-0055952-4·doi:10.1090/S0002-9947-1953-0055952-4
[6] 元数学导论pp 550–（1952）
[7] DOI:10.1007/BF01988049文件·Zbl 0079.00702号 ·doi:10.1007/BF01988049
[8] 《科学通报》，第2类，第121页–（1954年）
[9] 直觉主义形式系统中本原递归{（neg\）}（x）A（x）（Ex）{
[10] 关于直觉数论的解释10 pp 109–（1945）
[11] Mathematische Grundlagenforschung，直觉主义，Beweistheorie 3 pp 73–（1934）·Zbl 0009.38501号
[12] Fundamenta mat he-matice 41第291页–（1954年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。