Review: Alonzo Church, The Calculi of Lambda-Conversion [Book Review]

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267126

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: Alonzo Church, The Calculi of Lambda-Conversion. [REVIEW]S. C. Kleene - 1952 - Journal of Symbolic Logic 17 (1):76-76.
Review: J. Barkley Rosser, Logique Combinatoire et $lambda$-Conversion; J. Barkley Rosser, les Modeles des Logiques Formelles. [REVIEW]Frederic B. Fitch - 1957 - Journal of Symbolic Logic 22 (3):293-293.
Church Alonzo. The calculi of lambda-conversion. Annals of Mathematics studies, no. 6. Lithoprinted. Princeton University Press, Princeton 1941, 77 pp. [REVIEW]Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):171-172.
Review: Alonzo Church, J. B. Rosser, Some Properties of Conversion. [REVIEW]Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):74-75.
Church Alonzo. The calculi of lambda-conversion. Annals of Mathematics studies, no. 6. Second printing. Lithoprinted. Princeton University Press, Princeton 1951, 82 pp. [REVIEW]S. C. Kleene - 1952 - Journal of Symbolic Logic 17 (1):76-76.
Review: Alan Rose, J. Barkley Rosser, Fragments of Many-valued Statement Calculi. [REVIEW]Atwell R. Turquette - 1959 - Journal of Symbolic Logic 24 (3):248-249.
Church Alonzo and Rosser J. B.. Some properties of conversion. Transactions of the American Mathematical Society, vol. 39 , pp. 472–482. [REVIEW]Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):74-75.
Rosser Barkley. Extensions of some theorems of Gödel and Church.Paul Bernays - 1937 - Journal of Symbolic Logic 2 (1):52-53.
The Calculi of Lambda-conversion.Alonzo Church - 1985 - Princeton, NJ, USA: Princeton University Press.
Barkley Rosser. Extensions of some theorems of Gödel and Church. The journal of symbolic logic, vol. 1 (1936), pp. 87–91. [REVIEW]Paul Bernays & Barkley Rosser - 1937 - Journal of Symbolic Logic 2 (1):52-53.

Analytics

Added to PP
2013-11-22

Downloads
11 (#1,145,893)

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