Proof by cases in formal logic

被引：9

作者：

Kleene, SC ^{[1
]}

机构：

[1] Princeton Univ, Princeton, NJ USA

来源：

关键词：

D O I：

10.2307/1968749

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：529 / 544

页数：16

共 7 条

[1]

CHURCH A, 1933, SET POSTULATES FDN L, V34, P839

[2]

CHURCH A, 1932, SET POSTULATES FDN L, V33, P346

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

Curry, HB .

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

Curry, HB .

[5] An analysis of logical substitution. [J].

Curry, HB .

[6] Some additions to the theory of combinators [J].

Curry, HB .

[7] The components of mathematical logic [J].

Schonfinkel, M .