Curry Haskell B.. A revision of the fundamental rules of combinatory logic [Book Review]

Journal of Symbolic Logic 6 (4):170-170 (1941)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267125

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, 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, Combinatory Logic. [REVIEW]J. Barkley Rosser - 1967 - Journal of Symbolic Logic 32 (2):267-268.
Curry Haskell B.. The combinatory foundations of mathematical logic.Barkley Rosser - 1943 - Journal of Symbolic Logic 8 (1):31-31.
Review: Haskell B. Curry, The Combinatory Foundations of Mathematical Logic. [REVIEW]Barkley Rosser - 1943 - Journal of Symbolic Logic 8 (1):31-31.
Review: Haskell B. Curry, Some Advances in the Combinatory Theory of Quantification. [REVIEW]Alonzo Church - 1943 - Journal of Symbolic Logic 8 (1):52-52.
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: 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.
Curry Haskell B.. The paradox of Kleene and Rosser. Transactions of the American Mathematical Society, vol. 50 , pp. 454–516. [REVIEW]László Kalmár - 1946 - Journal of Symbolic Logic 11 (4):136-137.
Rosser Barkley. New sets of postulates for combinatory logics.H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (3):122-123.
Review: Barkley Rosser, New Sets of Postulates for Combinatory Logics. [REVIEW]H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (3):122-123.

Analytics

Added to PP
2016-06-30

Downloads
2 (#1,822,311)

6 months
2 (#1,445,278)

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