Follow
Alonzo Church
Alonzo Church
Professor of Mathematics, Princeton
No verified email
Title
Cited by
Cited by
Year
A formulation of the simple theory of types
A Church
J. Symb. Log. 5 (2), 56-68, 1940
33231940
Introduction to Mathematical Logic (PMS-13)
A Church
Princeton University Press, 1996
2963*1996
The calculi of lambda-conversion, Volume 6 of Annals of Mathematics Studies
A Church
Princeton University Press, 1941
2355*1941
The Calculi Of Lambda Conversion.(AM-6)(Annals Of Mathematics Studies) Author: Alonzo Church, Publisher: Princeton Univ
A Church
Princeton University Press, 1985
2352*1985
The Calculi of Lambda Conversion.(AM-6)
A Church
Princeton University Press, 1985
23431985
A note on the Entscheidungsproblem
A Church
J. Symb. Log. 1 (1), 40-41, 1936
13791936
Review: AM Turing, On Computable Numbers, with an Application to the Entscheidungsproblem
A Church
Journal of Symbolic Logic 2 (1), 42-43, 1937
1073*1937
A set of postulates for the foundation of logic
A Church
Annals of mathematics 33 (2), 346-366, 1932
9971932
A set of postulates for the foundation of logic
A Church
Annals of mathematics 33 (2), 346-366, 1932
9971932
Review: Julius Weinberg, A Possible Solution of the Heterological Paradox
A Church
Journal of Symbolic Logic 3 (1), 46-46, 1938
919*1938
Review: Th. Skolem, Explanation to the Foregoing Paper of L. Kalmar
A Church
Journal of Symbolic Logic 3 (1), 46-46, 1938
919*1938
Review: Laszlo Kalmar, Zur Reduktion des Entscheidungsproblems
A Church
Journal of Symbolic Logic 3 (1), 46-46, 1938
919*1938
Review: Everett W. Hall, Some Dangers in the Use of Symbolic Logic in Psychology
A Church
Journal of Symbolic Logic 7 (2), 100-100, 1942
911*1942
AM Turing. On computable numbers, with an application to the Entscheidungs problcm. Proceedings of the London Mathematical Society, 2 s. vol. 42 (1936–1937), pp. 230–265.
A Church
The Journal of Symbolic Logic 2 (1), 42-43, 1937
9111937
Review: Rolf Schock, Some Remarks on Russell's Treatment of Definite Descriptions
A Church
Journal of Symbolic Logic 28 (1), 105-106, 1963
910*1963
Review: Francis C. Wade, John of St. Thomas, Outline of Formal Logic
A Church
Journal of Symbolic Logic 24 (1), 81-83, 1959
909*1959
Review: RA Kocourek, An Evaluation of Symbolic Logic
A Church
Journal of Symbolic Logic 14 (1), 52-52, 1949
909*1949
Review: Edmundo Curvelo, Introducao a Logica
A Church
Journal of Symbolic Logic 13 (3), 144-144, 1948
909*1948
Review: Arnaud Denjoy, L'Enumeration Transfinie. Livre I. La Notion de Rang
A Church
Journal of Symbolic Logic 13 (3), 144-144, 1948
909*1948
Logic, arithmetic and automata
A Church
Proceedings of the international congress of mathematicians, 23-35, 1962
5561962
The system can't perform the operation now. Try again later.
Articles 1–20