哈斯克尔·柯里。;费斯，罗伯特 [威廉·克雷格] 组合逻辑。威廉·克雷格（William Craig）的两篇文章。 （英语） Zbl 0081.24104号 (逻辑与数学基础研究阿姆斯特丹：北荷兰出版公司。十六、 第417页（1958年）。 页码：−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于10评论引用于169文件 MSC公司： 03-02 与数学逻辑和基础相关的研究展览（专著、调查文章） 03B40型 组合逻辑与lambda演算 关键词：哲学与数学基础 PDF格式BibTeX公司 XML格式