Search the dblp DataBase
Haskell B. Curry :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Haskell B. Curry On the Use of Dots as Brackets in Logical Expressions. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1937, v:2, n:1, pp:26-28 [Journal ] Haskell B. Curry A Revision of the Fundamental Rules of Combinatory Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1941, v:6, n:2, pp:41-53 [Journal ] Haskell B. Curry Consistency and Completeness of the Theory of Combinators. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1941, v:6, n:2, pp:54-61 [Journal ] Haskell B. Curry The Combinatory Foundations of Mathematical Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1942, v:7, n:2, pp:49-64 [Journal ] Haskell B. Curry The Inconsistency of Certain Formal Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1942, v:7, n:3, pp:115-117 [Journal ] Haskell B. Curry The System LD. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1952, v:17, n:1, pp:35-42 [Journal ] Haskell B. Curry On the Definition of Negation by a Fixed Proposition in Inferential Calculus. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1952, v:17, n:2, pp:98-104 [Journal ] Haskell B. Curry The Permutability of Rules in the Classical Inferential Calculus. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1952, v:17, n:4, pp:245-248 [Journal ] Haskell B. Curry The Elimination Theorem When Modality is Present. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1952, v:17, n:4, pp:249-265 [Journal ] Haskell B. Curry The Consistency of a System of Combinatory Restricted Generality. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1973, v:38, n:3, pp:489-492 [Journal ] C. J. Ducasse , Haskell B. Curry Early History of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1962, v:27, n:3, pp:255-258 [Journal ] C. J. Ducasse , Haskell B. Curry Addendum to Early History of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1963, v:28, n:4, pp:279- [Journal ] Search in 0.001secs, Finished in 0.002secs