Haskell B. Curry

Publication Activity (10 Years)

Years Active: 1937-1973
Publications (10 Years): 0

Publications

Haskell B. Curry
The Consistency of a System of Combinatory Restricted Generality. J. Symb. Log. 38 (3) (1973)
C. J. Ducasse, Haskell B. Curry
Addendum to Early History of the Association for Symbolic Logic. J. Symb. Log. 28 (4) (1963)
C. J. Ducasse, Haskell B. Curry
Early History of the Association for Symbolic Logic. J. Symb. Log. 27 (3) (1962)
Haskell B. Curry
The Permutability of Rules in the Classical Inferential Calculus. J. Symb. Log. 17 (4) (1952)
Haskell B. Curry
On the Definition of Negation by a Fixed Proposition in Inferential Calculus. J. Symb. Log. 17 (2) (1952)
Haskell B. Curry
The Elimination Theorem When Modality is Present. J. Symb. Log. 17 (4) (1952)
Haskell B. Curry
The System LD. J. Symb. Log. 17 (1) (1952)
Haskell B. Curry
The Combinatory Foundations of Mathematical Logic. J. Symb. Log. 7 (2) (1942)
Haskell B. Curry
The Inconsistency of Certain Formal Logic. J. Symb. Log. 7 (3) (1942)
Haskell B. Curry
A Revision of the Fundamental Rules of Combinatory Logic. J. Symb. Log. 6 (2) (1941)
Haskell B. Curry
Consistency and Completeness of the Theory of Combinators. J. Symb. Log. 6 (2) (1941)
Haskell B. Curry
On the Use of Dots as Brackets in Logical Expressions. J. Symb. Log. 2 (1) (1937)