Alonzo Church. Mathematical logic. Lectures delivered at Princeton University, October 1935–January 1936. Notes by F. A. Ficken, H. G. Landau, H. Ruja, R. R. Singleton, N. E. Steenrod, J. H. Sweer, F. J. Weyl. Mimeographed. Princeton University Mathematics Department, Princeton, N. J., 1936, iii + 113 pp [Book Review]

Journal of Symbolic Logic 2 (1):39-40 (1937)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268803

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

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. Mathematical logic. Lectures delivered at Princeton University, October 1935–January 1936. Notes by Ficken F. A., Landau H. G., Ruja H., Singleton R. R., Steenrod N. E., Sweer J. H., Weyl F. J.. Mimeographed. Princeton University Mathematics Department, Princeton, N. J., 1936, iii + 113 pp. [REVIEW]H. B. Curry - 1937 - Journal of Symbolic Logic 2 (1):39-40.
Bernays Paul. Logical calculus. Notes on lectures at the Institute for Advanced Study 1935–36, prepared with the assistance of F. A. Ficken. Mimeographed. Institute for Advanced Study, Princeton, N. J., 1936, 125 pp. [REVIEW]Haskell B. Curry - 1938 - Journal of Symbolic Logic 3 (4):162-163.
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.
Church Alonzo. Introduction to mathematical logic. Volume I. Princeton mathematical series, no. 17. Princeton University Press, Princeton 1956, x + 376 pp. [REVIEW]Max Black - 1957 - Journal of Symbolic Logic 22 (3):286-289.
Church Alonzo. Introduction to mathematical logic. Volume I. Second printing. Princeton University Press, Princeton 1958, x + 378 pp. [REVIEW]S. C. Kleene - 1958 - Journal of Symbolic Logic 23 (3):362-362.
Church Alonzo. Elementary topics in mathematical logic. Lectures given at the Galois Institute of Mathematics at Long Island University. Mimeographed. The Galois Institute of Mathematics, Brooklyn, N. Y., 1940-1941, 102 pp. [REVIEW]Morton G. White - 1942 - Journal of Symbolic Logic 7 (2):91-92.
Church Alonzo. Application of recursive arithmetic to the problem of circuit synthesis 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. 3–50. 3a-45a. [REVIEW]Joyce Friedman - 1963 - Journal of Symbolic Logic 28 (4):289-290.
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.
Scalable algorithms for aggregating disparate forecasts of probability.Daniel Osherson - manuscript
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.

Analytics

Added to PP
2015-02-05

Downloads
13 (#1,064,266)

6 months
6 (#588,321)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
Singular Concepts.Nathan Salmón - forthcoming - Synthese.
System logiczny bez operatorów.Jerzy Słupecki - 1955 - Studia Logica 3 (1):98-108.
Carnap a jazyk: z Viedne do Santa Fé.Igor Hanzel - 2007 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 14 (4):470-497.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references