Review: Haskell B. Curry, Foundations of Mathematical Logic [Book Review]

Journal of Symbolic Logic 38 (1):149-149 (1973)
  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: 93,779

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, The Combinatory Foundations of Mathematical Logic. [REVIEW]Barkley Rosser - 1943 - Journal of Symbolic Logic 8 (1):31-31.
Curry Haskell B.. The combinatory foundations of mathematical logic.Barkley Rosser - 1943 - Journal of Symbolic Logic 8 (1):31-31.
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. [REVIEW]J. Barkley Rosser - 1967 - Journal of Symbolic Logic 32 (2):267-268.
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.
Haskell B. Curry. Foundations of mathematical logic. Corrected reprint of XXXVIII 149. Dover Publications, Inc., New York1977, viii + 408 pp. [REVIEW]William Craig - 1980 - Journal of Symbolic Logic 45 (2):377-378.
Haskell B. Curry. Foundations of mathematical logic. McGraw-Hill Book Company, Inc., New York, San Francisco, Toronto, and London, 1963, xii + 408 pp. [REVIEW]William Craig - 1973 - Journal of Symbolic Logic 38 (1):149.
Review: Haskell B. Curry, Combinatory Logic. [REVIEW]J. Barkley Rosser - 1967 - Journal of Symbolic Logic 32 (2):267-268.
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.
Review: Haskell B. Curry, A Formalization of Recursive Arithmetic. [REVIEW]Barkley Rosser - 1942 - Journal of Symbolic Logic 7 (1):42-42.

Analytics

Added to PP
2013-11-03

Downloads
14 (#996,581)

6 months
5 (#838,466)

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