Review: Haskell B. Curry, La Theorie des Combinateurs; Haskell B. Curry, La Logique Combinatoire et les Antinomies [Book Review]

Journal of Symbolic Logic 21 (4):378-378 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268364

Links

PhilArchive



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

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, 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.
Review: Haskell B. Curry, Robert Feys, Lecons de Logique Algebrique. [REVIEW]Hugo Ribeiro - 1954 - Journal of Symbolic Logic 19 (2):146-147.
To H.B. Curry: essays on combinatory logic, lambda calculus, and formalism.Haskell B. Curry, J. Roger Hindley & J. P. Seldin (eds.) - 1980 - New York: Academic Press.
Review: Haskell B. Curry, Combinatory Logic. [REVIEW]J. Barkley Rosser - 1967 - Journal of Symbolic Logic 32 (2):267-268.
Review: Haskell B. Curry, The Combinatory Foundations of Mathematical Logic. [REVIEW]Barkley Rosser - 1943 - Journal of Symbolic Logic 8 (1):31-31.
Computational Semantics, Type Theory, and Functional Programming.Jan van Eijck - unknown
Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.
Curry's paradox.Jc Beall - manuscript
Language, metalanguage, and formal system.Haskell B. Curry - 1950 - Philosophical Review 59 (3):346-353.
Review: Paul Bernays, Logical Calculus. [REVIEW]Haskell B. Curry - 1938 - Journal of Symbolic Logic 3 (4):162-163.

Analytics

Added to PP
2013-11-22

Downloads
5 (#1,510,250)

6 months
3 (#992,474)

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