Haskell B. Curry and Robert Feys. Combinatory logic. Volume I. With two sections by William Craig. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1958, xvi + 417 pp [Book Review]

Journal of Symbolic Logic 32 (2):267-268 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200114203

Links

PhilArchive



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

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

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. [REVIEW]Henk Barendregt - 1977 - Journal of Symbolic Logic 42 (1):109-110.
Combinatory Logic, Volume I.Haskell B. Curry, Robert Feys & William Craig - 1959 - Philosophical Review 68 (4):548-550.
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.
Bocheński I. M.. Ancient formal logic. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1951, VII + 1 + 122 pp. [REVIEW]Robert Feys - 1953 - Journal of Symbolic Logic 18 (1):81-82.
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.
Curry Haskell B.. Basic verifiability in the combinatory theory of restricted generality. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Bar-Hillel Y., Poznanski E. I. J., Rabin M. O., and Robinson A. for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 165–189. [REVIEW]Richard J. Orgass - 1970 - Journal of Symbolic Logic 35 (3):469-470.
Peter Aczel. Quantifiers, games and inductive definitions. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14. - Kit Fine. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 15–31. - Bengt Hansson and Peter Gärdenfors. Filtations and the finite frame property in Boolean semantics. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Compa. [REVIEW]S. K. Thomason - 1978 - Journal of Symbolic Logic 43 (2):373-376.
Goldblatt Robert. Topoi. The categorial analysis of logic. Studies in logic and the foundations of mathematics, vol. 98. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, xv + 486 pp. [REVIEW]Philip J. Scott - 1982 - Journal of Symbolic Logic 47 (2):445-448.
Rudolf Carnap. Inductive logic and inductive intuition. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 2, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 258–267. - M. Bunge, J. W. N. Watkins, Y. Bar-Hillel, K. R. Popper, J. Hintikka, R. Carnap. Discussion. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 2, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 268–314. [REVIEW]Henry E. Kyburg - 1975 - Journal of Symbolic Logic 40 (3):449-450.
Fraenkel Abraham A.. Abstract set theory. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1953, XII + 479 pp. [REVIEW]Robert McNaughton - 1955 - Journal of Symbolic Logic 20 (2):164-165.
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.
M. E. Szabo. Biographical sketch. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. vii–viii. - M. E. Szabo. Introduction. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 1–28. - Gerhard Gentzen. On the existence of independent axiom systems for infinite sentence systems. Englische Übersetzung von 4427. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 29–52. - Gerhard Gentzen. On the relation between intuitionist and classical arithmetic. Englische Übersetzung des Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik . The collected papers of Gerhard Gentz. [REVIEW]K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.
Robinson Abraham. Complete theories. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1956, VIII + 129 pp. [REVIEW]Robert L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):172-174.
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.
Gaisi Takeuti. Proof theory. Studies in logic and the foundations of mathematics, vol. 81. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, vii + 372 pp. - Gaisi Takeuti. Proof theory. Second edition of the preceding. Studies in logic and the foundations of mathematics, vol. 81. North-Holland, Amsterdam etc. 1987, x + 490 pp. - Georg Kreisel. Proof theory: some personal recollections. Therein, pp. 395–405. - Wolfram Pohlers. Contributions of the Schütte school in Munich to proof theory. Therein, pp. 406–431. - Stephen G. Simpson. Subsystems of Z2 and reverse mathematics. Therein, pp. 432–446. - Soloman Feferman. Proof theory: a personal report. Therein, pp. 447–485. [REVIEW]Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094.

Analytics

Added to PP
2016-06-30

Downloads
39 (#386,963)

6 months
8 (#283,518)

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