×
库尔特·舒特

简单类型理论的句法和语义特性。 （英语） Zbl 0109.00511号

J.塞姆。日志。 25305-326（1960年）.
审核人：A.奥伯舍普
页码：24/35−4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面
Zbl 0109.00511扫描

引用于2评论
引用于27文件

MSC公司：

03年XX月 数学逻辑和基础

关键词：

数学逻辑

引文：

Zbl 0071.00802号；兹比尔0086.00704
PDF格式BibTeX公司 XML格式引用
\textit{K.Schütte}，J.Symb。日志。25305-326（1960；Zbl 0109.00511）
全文： 内政部

参考文献：

[1] Eine Bemerkung zu Henkin的《Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe》18页42–（1953）·Zbl 0051.00503号
[2] Mathematische Zeitschrift 39第176页–（1934）
[3] Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen，Afd.letterkunde 18 pp 309–（1955）
[4] Indagationes mathematicae 17第322页–（1955）
[5] 《日本数学杂志》23页39–（1953）
[6] 一阶泛函演算的完备性14 pp 159–（1949）
[7] 逻辑1中的概率（1957）
[8] DOI:10.1007/BF01969991·Zbl 0071.00802号 ·doi:10.1007/BF01969991
[9] 物理数学评论17（1955）
[10] 《芬尼察哲学学报》第7页（1955年）
[11] 类型15理论的完整性第81页–（1950）
[12] Beweistheorie（1960）·Zbl 0102.24704号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。