Combinatory logic.

被引：0

|

作者：

Decock, L

机构：

来源：

TIJDSCHRIFT VOOR FILOSOFIE | 1998年 / 60卷 / 01期

关键词：

D O I：

暂无

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：206 / 207

页数：2

相关论文

共 50 条

[1] Fundamental principles on combinatory logic. Part II
Curry, HB
AMERICAN JOURNAL OF MATHEMATICS, 1930, 52 : 789 - 834
[2] Fundamental principles on combinatory logic. Part I
Curry, HB
AMERICAN JOURNAL OF MATHEMATICS, 1930, 52 : 509 - 536
[3] CASE STUDY IN AUTOMATED THEOREM PROVING: FINDING SAGES IN COMBINATORY LOGIC.
McCune, William
Wos, Larry
1600, (03):
[4] Traditional logic. Propositional logic. Predicate logic
Olga, V. Malyukova
VOPROSY FILOSOFII, 2024, (02)
[5] Logic, logic, and logic.
Jané, I
HISTORY AND PHILOSOPHY OF LOGIC, 2000, 21 (03) : 223 - 229
[6] Logic.
Bader, EJ
LIBRARY JOURNAL, 2004, 129 (04) : 109 - 110
[7] A new logic.
不详
LANCET, 1912, 1 : 1416 - 1417
[8] ROUGH LOGIC.
Pawlak, Zdzislaw
Bulletin of the Polish Academy of Sciences. Technical Sciences, 1987, 35 (5-6) : 253 - 258
[9] Deductive logic.
Ferguson, KG
HISTORY AND PHILOSOPHY OF LOGIC, 2004, 25 (04) : 334 - 335
[10] Story logic.
De Fina, A
LANGUAGE IN SOCIETY, 2003, 32 (05) : 722 - 725

← 1 2 3 4 5 →