A set of postulates for the foundation of logic.

被引:145
|
作者
Church, A [1 ]
机构
[1] Princeton Univ, Princeton, NJ USA
关键词
D O I
10.2307/1968337
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:346 / 366
页数:21
相关论文
共 50 条