The combinatory foundations of mathematical logic

Journal of Symbolic Logic 7 (2):49-64 (1942)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266302

Other Versions

reprint Curry, Haskell B. (1943) "The Combinatory Foundations of Mathematical Logic". Journal of Symbolic Logic 8(1):31-31

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 106,148

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

Curry Haskell B.. The combinatory foundations of mathematical logic.Barkley Rosser - 1943 - Journal of Symbolic Logic 8 (1):31-31.
Curry Haskell B.. A revision of the fundamental rules of combinatory logic. [REVIEW]Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):170-170.
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.
Review: Haskell B. Curry, Some Advances in the Combinatory Theory of Quantification. [REVIEW]Alonzo Church - 1943 - Journal of Symbolic Logic 8 (1):52-52.
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.
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.
Haskell B. Curry. The deduction theorem in the combinatory theory of restricted generality. Logique et analyse, n.s. vol. 3 , pp. 15–39. [REVIEW]Richard J. Orgass - 1970 - Journal of Symbolic Logic 35 (3):468-469.
Curry Haskell B.. Combinatory logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 90–99. [REVIEW]J. Barkley Rosser - 1967 - Journal of Symbolic Logic 32 (2):267-267.

Analytics

Added to PP
2009-01-28

Downloads
115 (#197,976)

6 months
11 (#332,157)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Routes to triviality.Susan Rogerson & Greg Restall - 2004 - Journal of Philosophical Logic 33 (4):421-436.
Blocking the Routes to Triviality with Depth Relevance.Gemma Robles & José M. Méndez - 2014 - Journal of Logic, Language and Information 23 (4):493-526.
„Kauza Afthonios“: Ilustrácia k otázke správneho riešenia antických paradoxov.Vladimir Marko - 2014 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 1 (20):88-103.

View all 10 citations / Add more citations

References found in this work

No references found.

Add more references