Combinatory logic. Haskell B. Curry, J. Roger Hindley, and Jonathan P. Seldin. Combinatory logic. Volume II. Studies in logic and the foundations of mathematics, vol. 65. North-Holland Publishing Company, Amsterdam and London 1972, XIV + 520 pp

Henk Barendregt

doi:10.2307/2272327

Combinatory logic. Haskell B. Curry, J. Roger Hindley, and Jonathan P. Seldin. Combinatory logic. Volume II. Studies in logic and the foundations of mathematics, vol. 65. North-Holland Publishing Company, Amsterdam and London 1972, XIV + 520 pp [Book Review]

Journal of Symbolic Logic 42 (1):109-110 (1977)

Abstract	This article has no associated abstract. (fix it)
Keywords	No keywords specified (fix it)
Categories	Logic and Philosophy of Logic Nonclassical Logics in Logic and Philosophy of Logic (categorize this paper)
DOI	10.2307/2272327
Options	Edit this record Mark as duplicate Export citation Find it on Scholar Request removal from index Revision history

Download options

PhilArchive copy

Upload a copy of this paper Check publisher's policy Papers currently archived: 71,410

External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)

Through your library

Sign in / register and customize your OpenURL resolver..
Configure custom resolver

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Review: Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin, Combinatory Logic. [REVIEW]Henk Barendregt - 1977 - Journal of Symbolic Logic 42 (1):109-110.

To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism.Haskell B. Curry, J. Roger Hindley & J. P. Seldin (eds.) - 1980 - Academic Press.

Curry Haskell B.. Outlines of a Formalist Philosophy of Mathematics. Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam 1951, VIII + 75 Pp. [REVIEW]J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (1):80-81.

Reviews. Alfred Tarski. Preface. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. VIII–IX. Alfred Tarski. A General Method in Proofs of Undecidability. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. 3–35. Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski. Undecidability and Essential Undecidability in Arithmetic. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. 39–74. Alfred Tarski. Undecidability of the Elementary Theory of Groups. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. 77–87. Bibliography. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. 89–91. Index. Undecidable Theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.

Hindley Roger. Axioms for Strong Reduction in Combinatory Logic.Haskell B. Curry - 1971 - Journal of Symbolic Logic 36 (1):171-172.

Vopěnka Petr and Hájek Petr. The Theory of Semisets. Studies in Logic and the Foundations of Mathematics, Vol. 70. North-Holland Publishing Company, Amsterdam and London, and Academia, Publishing House of the Czechoslovak Academy of Sciences, Prague, 1972, 332 Pp. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1422-1423.

Chang C. C. And Keisler H. J.. Model Theory. Studies in Logic and the Foundations of Mathematics, Vol. 73, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, Xii + 550 Pp. [REVIEW]Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.

Drake Frank R.. Set Theory. An Introduction to Large Cardinals. Studies in Logic and the Foundations of Mathematics, Vol. 76. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, Xii + 351 Pp. [REVIEW]Azriel Levy - 1978 - Journal of Symbolic Logic 43 (2):384-384.

Rasiowa Helena. An Algebraic Approach to Non-Classical Logics. Studies in Logic and the Foundations of Mathematics, Vol. 78. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, Xv + 403 Pp. [REVIEW]Anne Preller - 1977 - Journal of Symbolic Logic 42 (3):432-432.

Combinatory Logic.Haskell B. Curry - 1958 - Amsterdam: North-Holland Pub. Co..

Keisler H. Jerome. Model Theory for Infinitary Logic. Logic with Countable Conjunctions and Finite Quantifiers. Studies in Logic and the Foundations of Mathematics, Vol. 62, North-Holland Publishing Company, Amsterdam and London 1971, X + 208 Pp. [REVIEW]E. G. K. López-Escobar - 1973 - Journal of Symbolic Logic 38 (3):522-523.

Introduction to Combinatory Logic.J. Roger Hindley - 1972 - Cambridge University Press.

Beth E. W.. Remarks on Intuitionistic Logic. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 15–25. [REVIEW]Hans Freudenthal - 1974 - Journal of Symbolic Logic 39 (3):609-609.

Prawitz Dag. Ideas and Results in Proof Theory. Proceedings of the Second Scandinavian Logic Symposium, Edited by Fenstad J. E., Studies in Logic and the Foundations of Mathematics, Vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, Pp. 235–307. [REVIEW]Solomon Feferman - 1975 - Journal of Symbolic Logic 40 (2):232-234.

Matijasevič Ju. V.. Diophantine Representation of Recursively Enumerable Predicates. Proceedings of the Second Scandinavian Logic Symposium, Edited by Fenstad J. E., Studies in Logic and the Foundations of Mathematics, Vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, Pp. 171–177. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):606-606.

Analytics

Added to PP index
2016-06-30

Total views
13 ( #772,591 of 2,519,870 )

Recent downloads (6 months)
1 ( #406,012 of 2,519,870 )

How can I increase my downloads?

Downloads