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 [Book Review]

Journal of Symbolic Logic 7 (2):91-92 (1942)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266305

Other Versions

No versions found

Links

PhilArchive



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

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

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. [REVIEW]Alonzo Church - 1937 - Journal of Symbolic Logic 2 (1):39-40.
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.
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.
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.
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. An unsolvable problem of elementary number theory. American journal of mathematics, vol. 58 , pp. 345–363. [REVIEW]Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):73-74.
Keyser Cassius Jackson. Charles Sanders Peirce as a pioneer. Galois lectures , Scripta Mathematica, Yeshiva College, New York 1941, pp. 87–112. [REVIEW]Alonzo Church - 1941 - Journal of Symbolic Logic 6 (4):161-162.
Three Public Lectures on Scientific Subjects, Delivered at the Rice Institute, March 6-8 1940.George David Birkhoff - 2013
Kreisel G.. Gödel's intepretation of Heyting's arithmetic. 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. 125–133.Kreisel G.. Relations between classes of constructive functional. 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. 292–302.Kreisel Georg. Interpretation of analysis by means of constructive functional of finite types. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 101–128. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-171.

Analytics

Added to PP
2013-11-22

Downloads
46 (#479,837)

6 months
18 (#161,322)

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