Fundamental principles on combinatory logic. Part I

被引：58

作者：

Curry, HB

机构：

来源：

关键词：

D O I：

10.2307/2370619

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：509 / 536

页数：28

共 50 条

[41] Science and civilisation in China, vol 7, Part 1: Language and logic.
Wagner, RG
AMERICAN HISTORICAL REVIEW, 1999, 104 (05): : 1644 - 1645
[42] FUNDAMENTAL PRINCIPLES. PART II
Lightfoot, James H.
JOURNAL OF THE PATENT OFFICE SOCIETY, 1925, 8 (01): : 8 - 28
[43] FRACTION DETECTION LOGIC.
Kerchmar, K.
IBM Technical Disclosure Bulletin, 1972, 15 (05):
[44] Logic. The 1896 lectures
Lapointe, S
DIALOGUE-CANADIAN PHILOSOPHICAL REVIEW, 2003, 42 (02) : 394 - 397
[45] FUNDAMENTAL IMPORTANCE OF APPLICATION OF PRINCIPLES OF LOGIC IN SCIENCE
CROXATTO, OC
MEDICINA-BUENOS AIRES, 1978, 38 (04) : 460 - 461
[46] COMBINATORY LOGIC AND ALGORITHMS
NOLIN, L
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1971, 272 (23): : 1485 - &
[47] Science and civilisation in China, vol 7, part 1, language and logic.
Wright, D
ISIS, 1999, 90 (02) : 342 - 343
[48] DISCRIMINATORS IN COMBINATORY LOGIC
LONGO, G
VENTURINIZILLI, M
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 458 - 459
[49] COMBINATORY LOGIC AND ALGORITHMS
NOLIN, L
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1971, 272 (22): : 1435 - &
[50] Frontiers of paraconsistent logic.
Asenjo, FG
HISTORY AND PHILOSOPHY OF LOGIC, 2000, 21 (03) : 245 - 247