Some properties of conversion

被引：118

作者：

Church, Alonzo ^{[1
]}

Rosser, J. B. ^{[1
]}

机构：

[1] Princeton Univ, Princeton, NJ USA

来源：

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY | 1936年 / 39卷 / 1-3期

关键词：

D O I：

10.2307/1989762

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：472 / 482

页数：11

相关论文

共 5 条

[1] A set of postulates for the foundation of logic.
Church, A
[J]. ANNALS OF MATHEMATICS, 1932, 33 : 346 - 366
[2] Fundamental principles on combinatory logic. Part II
Curry, HB
[J]. AMERICAN JOURNAL OF MATHEMATICS, 1930, 52 : 789 - 834
[3] Fundamental principles on combinatory logic. Part I
Curry, HB
[J]. AMERICAN JOURNAL OF MATHEMATICS, 1930, 52 : 509 - 536
[4] Proof by cases in formal logic
Kleene, SC
[J]. ANNALS OF MATHEMATICS, 1934, 35 : 529 - 544
[5] A mathematical logic without variables. I
Rosser, JB
[J]. ANNALS OF MATHEMATICS, 1935, 36 : 127 - 150