Church Alonzo. The calculi of lambda-conversion. Annals of Mathematics studies, no. 6. Second printing. Lithoprinted. Princeton University Press, Princeton 1951, 82 pp [Book Review]

Journal of Symbolic Logic 17 (1):76-76 (1952)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267493

Other Versions

edition Kleene, S. C. (1952) "Review: Alonzo Church, The Calculi of Lambda-Conversion". Journal of Symbolic Logic 17(1):76-76

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

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

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.
Church Alonzo. Introduction to mathematical logic. Part I. Annals of Mathematics Studies, no. 13. Lithoprinted. Princeton University Press, Princeton 1944, vi + 118 pp. [REVIEW]G. D. W. Berry - 1945 - Journal of Symbolic Logic 10 (1):19-21.
John McCarthy and Claude Shannon. Preface. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. v–viii. - S. C. Kleene. Representations of events in nerve nets and finite automata. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 3–41. [REVIEW]W. L. Duda - 1958 - Journal of Symbolic Logic 23 (1):59-60.
Shannon Claude E.. A universal Turing machine with two internal states. Automata studies, edited by Shannon C. E. and McCarthy J., Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton 1956, pp. 157–165. [REVIEW]Patrick C. Fischer - 1971 - Journal of Symbolic Logic 36 (3):532.
Post Emil L.. The two-valued iterative systems of mathematical logic. Annals of Mathematics studies, no. 5. Lithoprinted. Princeton University Press, Princeton 1941, 122 pp. [REVIEW]H. E. Vaughan - 1941 - Journal of Symbolic Logic 6 (3):114-115.
Minsky M. L.. Some universal elements for finite automata. Automata studies, edited by Shannon C. E. and McCarthy J., Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton 1956, pp. 117–128. [REVIEW]Patrick C. Fischer - 1970 - Journal of Symbolic Logic 35 (3):480-481.
Gödel Kurt. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory. Annals of Mathematics studies, no. 3. Lithoprinted. Princeton University Press, Princeton 1940, 66 pp. [REVIEW]Paul Bernays - 1941 - Journal of Symbolic Logic 6 (3):112-114.
Gerald E. Sacks. Degrees of unsolvability. Annals of Mathematics studies, no. 55. Lithoprinted. Princeton University Press, Princeton1963, xii + 174 pp. [REVIEW]Gustav B. Hensel - 1964 - Journal of Symbolic Logic 29 (4):202-203.
Davis M. D.. A note on universal Turing machines. Automata studies, edited by Shannon C. E. and McCarthy J., Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton 1956, pp. 167–175.Davis Martin. The definition of universal Turing machine. Proceedings of the American Mathematical Society, vol. 8 , pp. 1125–1126. [REVIEW]R. J. Nelson - 1970 - Journal of Symbolic Logic 35 (4):590.

Analytics

Added to PP
2016-06-30

Downloads
19 (#1,085,010)

6 months
15 (#214,286)

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