Some properties of conversion

被引：119

作者：

Church, Alonzo ^{[1
]}

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

机构：

[1] Princeton Univ, Princeton, NJ USA

来源：

关键词：

D O I：

10.2307/1989762

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：472 / 482

页数：11

共 5 条

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

Church, A .

[2] Fundamental principles on combinatory logic. Part II [J].

Curry, HB .

[3] Fundamental principles on combinatory logic. Part I [J].

Curry, HB .

[4] Proof by cases in formal logic [J].

Kleene, SC .

[5] A mathematical logic without variables. I [J].

Rosser, JB .