Review: Haskell B. Curry, Some Advances in the Combinatory Theory of Quantification [Book Review]

Journal of Symbolic Logic 8 (1):52-52 (1943)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Haskell B. Curry, A Revision of the Fundamental Rules of Combinatory Logic; Haskell B. Curry, Consistency and Completeness of the Theory of Combinators. [REVIEW]Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):170-170.
Review: Haskell B. Curry, The Deduction Theorem in the Combinatory Theory of Restricted Generality. [REVIEW]Richard J. Orgass - 1970 - Journal of Symbolic Logic 35 (3):468-469.
Review: Haskell B. Curry, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Basic Verifiability in the Combinatory Theory of Restricted Generality. [REVIEW]Richard J. Orgass - 1970 - Journal of Symbolic Logic 35 (3):469-470.
Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..
To H.B. Curry: essays on combinatory logic, lambda calculus, and formalism.Haskell B. Curry, J. Roger Hindley & J. P. Seldin (eds.) - 1980 - New York: Academic Press.
Review: Haskell B. Curry, La Theorie des Combinateurs; Haskell B. Curry, La Logique Combinatoire et les Antinomies. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):378-378.
Review: Haskell B. Curry, The System LD; Haskell B. Curry, On the Definition of Negation by a Fixed Proposition in Inferential Calculus. [REVIEW]Paul Bernays - 1953 - Journal of Symbolic Logic 18 (3):266-268.
Modified basic functionality in combinatory logic.Haskell B. Curry - 1969 - Dialectica 23 (2):83-92.
Review: Haskell B. Curry, Combinatory Logic. [REVIEW]J. Barkley Rosser - 1967 - Journal of Symbolic Logic 32 (2):267-268.
Review: Haskell B. Curry, The Combinatory Foundations of Mathematical Logic. [REVIEW]Barkley Rosser - 1943 - Journal of Symbolic Logic 8 (1):31-31.
The consistency of a system of combinatory restricted generality.Haskell B. Curry - 1973 - Journal of Symbolic Logic 38 (3):489-492.
Review: Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin, Combinatory Logic. [REVIEW]Henk Barendregt - 1977 - Journal of Symbolic Logic 42 (1):109-110.
Review: Alonzo Church, The Weak Theory of Implication. [REVIEW]Haskell B. Curry & William Craig - 1953 - Journal of Symbolic Logic 18 (2):177-178.
The combinatory foundations of mathematical logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (2):49-64.
A revision of the fundamental rules of combinatory logic.Haskell B. Curry - 1941 - Journal of Symbolic Logic 6 (2):41-53.

Analytics

Added to PP
2013-11-22

Downloads
6 (#1,430,516)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references