A set of postulates for the foundation of logic (second paper)

被引：50

作者：

Church, A ^{[1
]}

机构：

[1] Princeton Univ, Princeton, NJ USA

来源：

关键词：

D O I：

10.2307/1968702

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：839 / 864

页数：26

相关论文

共 6 条

[1] A set of postulates for the foundation of logic. [J].

Church, A .

[2]

Godel K., 1931, MONATSHEFTE MATH PHY, V38, P173, DOI DOI 10.1007/BF01700692

[3]

Hilbert D, 1923, MATH ANN, V88, P151

[4]

HILBERT D, 1928, ABH MATH PHYS KGL, V6, P65, DOI DOI 10.1007/BF02940602

[5]

LEWIS CI, 1918, SURVEY SYMBOLIC LOGI, P373

[6]

1891, RIV MATH, V1, P87