 | 1973 |
|---|
| 12 |       | Haskell B. Curry:
The Consistency of a System of Combinatory Restricted Generality.
J. Symb. Log. 38(3): 489-492 (1973) |
| 1963 |
|---|
| 11 | | C. J. Ducasse,
Haskell B. Curry:
Addendum to Early History of the Association for Symbolic Logic.
J. Symb. Log. 28(4): 279 (1963) |
| 1962 |
|---|
| 10 | | C. J. Ducasse,
Haskell B. Curry:
Early History of the Association for Symbolic Logic.
J. Symb. Log. 27(3): 255-258 (1962) |
| 1952 |
|---|
| 9 | | Haskell B. Curry:
The System LD.
J. Symb. Log. 17(1): 35-42 (1952) |
| 8 | | Haskell B. Curry:
On the Definition of Negation by a Fixed Proposition in Inferential Calculus.
J. Symb. Log. 17(2): 98-104 (1952) |
| 7 | | Haskell B. Curry:
The Permutability of Rules in the Classical Inferential Calculus.
J. Symb. Log. 17(4): 245-248 (1952) |
| 6 | | Haskell B. Curry:
The Elimination Theorem When Modality is Present.
J. Symb. Log. 17(4): 249-265 (1952) |
| 1942 |
|---|
| 5 | | Haskell B. Curry:
The Combinatory Foundations of Mathematical Logic.
J. Symb. Log. 7(2): 49-64 (1942) |
| 4 | | Haskell B. Curry:
The Inconsistency of Certain Formal Logic.
J. Symb. Log. 7(3): 115-117 (1942) |
| 1941 |
|---|
| 3 | | Haskell B. Curry:
A Revision of the Fundamental Rules of Combinatory Logic.
J. Symb. Log. 6(2): 41-53 (1941) |
| 2 | | Haskell B. Curry:
Consistency and Completeness of the Theory of Combinators.
J. Symb. Log. 6(2): 54-61 (1941) |
| 1937 |
|---|
| 1 | | Haskell B. Curry:
On the Use of Dots as Brackets in Logical Expressions.
J. Symb. Log. 2(1): 26-28 (1937) |
