A NEW PROOF FOR CRAIGS THEOREM

被引：2
作者：
BELLOT, P
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1985年 / 50卷 / 02期
关键词：
D O I：
10.2307/2274227
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：395 / 396
页数：2
相关论文
共 3 条
[1]  
Barendregt H. P., 1981, LAMBDA CALCULUS ITS
[2]  
CHAUVIN A, COMMUNICATION
[3]  
Curry H., 1958, COMBINATORY LOGIC, V1
1