| A formulation of the simple theory of types A Church J. Symb. Log. 5 (2), 56-68, 1940 | 3338 | 1940 |
| Introduction to Mathematical Logic (PMS-13) A Church Princeton University Press, 1996 | 2974* | 1996 |
| The calculi of lambda-conversion, Volume 6 of Annals of Mathematics Studies A Church Princeton University Press, 1941 | 2364* | 1941 |
| The Calculi Of Lambda Conversion.(AM-6)(Annals Of Mathematics Studies) Author: Alonzo Church, Publisher: Princeton Univ A Church Princeton University Press, 1985 | 2361* | 1985 |
| The Calculi of Lambda Conversion.(AM-6) A Church Princeton University Press, 1985 | 2351 | 1985 |
| A note on the Entscheidungsproblem A Church J. Symb. Log. 1 (1), 40-41, 1936 | 1392 | 1936 |
| Review: AM Turing, On Computable Numbers, with an Application to the Entscheidungsproblem A Church Journal of Symbolic Logic 2 (1), 42-43, 1937 | 1087* | 1937 |
| A set of postulates for the foundation of logic A Church Annals of mathematics 33 (2), 346-366, 1932 | 1003 | 1932 |
| A set of postulates for the foundation of logic A Church Annals of mathematics 33 (2), 346-366, 1932 | 1003 | 1932 |
| Review: Julius Weinberg, A Possible Solution of the Heterological Paradox A Church Journal of Symbolic Logic 3 (1), 46-46, 1938 | 929* | 1938 |
| Review: Th. Skolem, Explanation to the Foregoing Paper of L. Kalmar A Church Journal of Symbolic Logic 3 (1), 46-46, 1938 | 929* | 1938 |
| Review: Laszlo Kalmar, Zur Reduktion des Entscheidungsproblems A Church Journal of Symbolic Logic 3 (1), 46-46, 1938 | 929* | 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 | 924* | 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 | 921 | 1937 |
| Review: Rolf Schock, Some Remarks on Russell's Treatment of Definite Descriptions A Church Journal of Symbolic Logic 28 (1), 105-106, 1963 | 920* | 1963 |
| Review: Francis C. Wade, John of St. Thomas, Outline of Formal Logic A Church Journal of Symbolic Logic 24 (1), 81-83, 1959 | 919* | 1959 |
| Review: RA Kocourek, An Evaluation of Symbolic Logic A Church Journal of Symbolic Logic 14 (1), 52-52, 1949 | 919* | 1949 |
| Review: Edmundo Curvelo, Introducao a Logica A Church Journal of Symbolic Logic 13 (3), 144-144, 1948 | 919* | 1948 |
| Review: Arnaud Denjoy, L'Enumeration Transfinie. Livre I. La Notion de Rang A Church Journal of Symbolic Logic 13 (3), 144-144, 1948 | 919* | 1948 |
| Logic, arithmetic and automata A Church Proceedings of the international congress of mathematicians, 23-35, 1962 | 558 | 1962 |
