Fundamental principles on combinatory logic. Part II

被引:44
作者
Curry, HB
机构
关键词
D O I
10.2307/2370716
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:789 / 834
页数:46
相关论文
共 2 条
  • [1] 1930, LERSCHIEN DIESEM J, V52, P509
  • [2] 1930, LERSCHIEN DIESEM J, V52, P536