Fundamental principles on combinatory logic. Part I

被引：58

|

作者：

Curry, HB

机构：

来源：

AMERICAN JOURNAL OF MATHEMATICS | 1930年 / 52卷

关键词：

D O I：

10.2307/2370619

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：509 / 536

页数：28

相关论文

共 50 条

[11] Transfer results for hybrid logic. Part I: The case without satisfaction operators
Bezhanishvili, N
Cate, BT
JOURNAL OF LOGIC AND COMPUTATION, 2006, 16 (02) : 177 - 197
[12] Traditional logic. Propositional logic. Predicate logic
Olga, V. Malyukova
VOPROSY FILOSOFII, 2024, (02)
[13] Christian faith and its logic. Fundamental Theology questions
Brito, E.
REVUE THEOLOGIQUE DE LOUVAIN, 2009, 40 (02): : 276 - 277
[14] Constructive logic with strong negation is a substructural logic. I
Spinks M.
Veroff R.
Studia Logica, 2008, 88 (3) : 325 - 348
[15] Logic, logic, and logic.
Jané, I
HISTORY AND PHILOSOPHY OF LOGIC, 2000, 21 (03) : 223 - 229
[16] Logic.
Bader, EJ
LIBRARY JOURNAL, 2004, 129 (04) : 109 - 110
[17] Automata Theory Based on Quantum Logic. (I)
Mingsheng Ying
International Journal of Theoretical Physics, 2000, 39 : 985 - 995
[18] On BCK algebras - Part I.a: An attempt to treat unitarily the algebras of logic. New algebras
Iorgulescu, Afrodita
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (11) : 1628 - 1654
[19] Automata theory based on quantum logic. (I)
Ying, MS
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2000, 39 (04) : 985 - 995
[20] Pleasure As a Subject of Logic. To the Interpretation of Philebus, Part II
Bugai, Dmitry, V
VOPROSY FILOSOFII, 2021, (06) : 100 - 108

← 1 2 3 4 5 →