A formulation of the simple theory of types A Church J. Symb. Log. 5 (2), 56-68, 1940 | 3323 | 1940 |
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 | 2343 | 1985 |
A note on the Entscheidungsproblem A Church J. Symb. Log. 1 (1), 40-41, 1936 | 1379 | 1936 |
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 | 997 | 1932 |
A set of postulates for the foundation of logic A Church Annals of mathematics 33 (2), 346-366, 1932 | 997 | 1932 |
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 | 911 | 1937 |
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 | 556 | 1962 |