| A formulation of the simple theory of types A Church J. Symb. Log. 5 (2), 56-68, 1940 | 2557 | 1940 |
| Introduction to Mathematical Logic (PMS-13) A Church Princeton University Press, 1996 | 2315 | 1996 |
| An unsolvable problem of elementary number theory A Church American journal of mathematics 58 (2), 345-363, 1936 | 2085 | 1936 |
| The Calculi of Lambda Conversion.(AM-6) A Church Princeton University Press, 1985 | 1868* | 1985 |
| Review: Claude E. Shannon, A Symbolic Analysis of Relay and Switching Circuits A Church Journal of Symbolic Logic 18 (4), 347-347, 1953 | 1321* | 1953 |
| A note on the Entscheidungsproblem A Church J. Symb. Log. 1 (1), 40-41, 1936 | 922 | 1936 |
| A set of postulates for the foundation of logic A Church Annals of mathematics 33 (2), 346-366, 1932 | 683 | 1932 |
| A set of postulates for the foundation of logic A Church Annals of mathematics 33 (2), 346-366, 1932 | 683 | 1932 |
| Logic, arithmetic and automata A Church Proceedings of the international congress of mathematicians, 23-35, 1962 | 418 | 1962 |
| Some properties of conversion A Church, JB Rosser Transactions of the American Mathematical Society 39 (3), 472-482, 1936 | 383 | 1936 |
| A formulation of the logic of sense and denotation A Church Structure, Method, and Meaning: Essays in Honor of Henry M. Sheffer, Liberal …, 1951 | 382 | 1951 |
| ON THE CONCEPT OF A RANDOM SEQUENCE1 A Church | 382 | 1940 |
| Review: Willard V. Quine, Notes on Existence and Necessity A Church Journal of Symbolic Logic 21 (1), 77-78, 1956 | 328* | 1956 |
| Review: Willard V. Quine, Notes on Existence and Necessity A Church Journal of Symbolic Logic 21 (1), 77-78, 1956 | 328* | 1956 |
| On Carnap's analysis of statements of assertion and belief A Church Analysis 10 (5), 97-99, 1950 | 211 | 1950 |
| Reviews A Church Journal of Symbolic Logic 11 (4), 1946 | 209* | 1946 |
| Intensional isomorphism and identity of belief A Church Philosophical Studies 5 (5), 65-73, 1954 | 184 | 1954 |
| The need for abstract entities in semantic analysis A Church Proceedings of the American Academy of Arts and Sciences, 100-112, 1951 | 167 | 1951 |
| Applications of recursive arithmetic to the problem of circuit synthesis A Church Summaries of the Summer Institute of Symbolic Logic 1, 3-50, 1957 | 151* | 1957 |
| Comparison of Russell's resolution of the semantical antinomies with that of Tarski A Church Journal of Symbolic Logic, 747-760, 1976 | 149 | 1976 |
