| On the idea of logical truth (I). Societas Scientarum Fennica, Commentationes physico-mathematicae, vol. 14 no. 4. Helsingfors1948, 20 |
G. H. v. Wright |
Alonzo Church |
The Journal of Symbolic Logic |
1950 |
| Tractatus logico-philosophicus. With an introduction by Bertrand Russell. Fourth impression |
Ludwig Wittgenstein |
Alonzo Church |
The Journal of Symbolic Logic |
1950 |
| On the idea of logical truth (I). Societas Scientiarum Fennica, Commentationes physico-mathematicae, vol. 14 no. 4. Helsingfors1948, 20 |
G. H. v. Wright |
Alonzo Church |
The Journal of Symbolic Logic |
1950 |
| Giant brains. Or machines that think |
Edmund Callis Berkeley |
Alonzo Church |
The Journal of Symbolic Logic |
1950 |
| Theory of sets |
E. Kamke |
Alonzo Church |
The Journal of Symbolic Logic |
1950 |
| Grundzüge der theoretischen Logik |
D. Hilbert and W. Ackermann |
Alonzo Church |
The Journal of Symbolic Logic |
1950 |
| L. Susan Stebbing, 1885–1943 |
J. Wisdom |
Alonzo Church |
The Journal of Symbolic Logic |
1950 |
| Consciousness, philosophy, and mathematics |
L. E. J. Brouwer |
Alonzo Church |
The Journal of Symbolic Logic |
1949-06-23 |
| Les étapes des mathématiques |
Marcel Boll |
Alonzo Church |
The Journal of Symbolic Logic |
1949-06-23 |
| Cybernetics. Or Control and Communication in the Animal and the Machine |
Norbert Wiener |
Alonzo Church |
The Journal of Symbolic Logic |
1949-06-23 |
| L'élat et les besoins de l'histoire de la logique formelle |
I. M. Bocheński |
Alonzo Church |
The Journal of Symbolic Logic |
1949-06-23 |
| N. Rashevsky |
|
Alonzo Church |
The Journal of Symbolic Logic |
1949-06-23 |
| Introduction à la philosophie. Troisième édition revue et corrigée |
Louis De Raeymaeker |
Alonzo Church |
The Journal of Symbolic Logic |
1949 |
| Remarks concerning the latest discussion on sense-data |
K. Marc-Wogau |
Alonzo Church |
The Journal of Symbolic Logic |
1949 |
| Les étapes de la philosophie mathématique. 3rd edn. of 2172 |
Leon Brunschvicg |
Alonzo Church |
The Journal of Symbolic Logic |
1948 |
| L'énumération transfinie |
Arnaud Denjoy |
Alonzo Church |
The Journal of Symbolic Logic |
1948 |
| Quantifiers |
Johan Van Benthem |
Alonzo Church |
The Journal of Symbolic Logic |
1948 |
| The mathematical analysis of logic, being an essay towards a calculus of deductive*easoning |
George Boole |
Alonzo Church |
The Journal of Symbolic Logic |
1948 |
| Sovereign Reason |
Ernest Nagel |
Alonzo Church |
The Journal of Symbolic Logic |
1948 |
| The escape from philosophic futility |
Brand Blanshard |
Alonzo Church |
The Journal of Symbolic Logic |
1948 |
| Introduction to logic and to the methodology of deductive sciences. Translated by Olaf Helmer |
Alfred Tarski |
Alonzo Church |
The Journal of Symbolic Logic |
1947-06-23 |
| Mathematical logic. Second printing |
Willard Van Orman Quine |
Alonzo Church |
The Journal of Symbolic Logic |
1947-06-23 |
| A critical essay on Johnson's philosophy of language |
David Rynin |
Alonzo Church |
The Journal of Symbolic Logic |
1947 |
| Die Logistik Johann Heinrich Lamberts. Festschrift zum 60. Geburtstag von Prof |
Karl Dürr |
Alonzo Church |
The Journal of Symbolic Logic |
1947 |
| Algèbre |
Paul Dubreil |
Alonzo Church |
The Journal of Symbolic Logic |
1947 |
| Grundlagen der Analysis. (Das Rechnen mit ganzen, rationalen, irrationalen, komplexen Zahlen.) Ergänzung zu den Lehrbüchern der Differential- und Integralrechnung. Forewords translated by F. Steinhardt |
Edmund Landau |
Alonzo Church |
The Journal of Symbolic Logic |
1946 |
| Algebra of analysis |
Karl Menger |
Alonzo Church |
The Journal of Symbolic Logic |
1945 |
| Logic without ontology |
Ernest Nagel |
Alonzo Church |
The Journal of Symbolic Logic |
1945 |
| Introduction to mathematical logic |
Alonzo Church |
G. D. W. Berry |
The Journal of Symbolic Logic |
1945 |
| Introduction to Mathematical Logic. Part I Alonzo Church C. A. Truesdell |
Alonzo Church |
E. N. |
The Journal of Philosophy |
1944-12-00 |
| The foundation of phenomenology. Edmund Husserl and the guest for a rigorous science of philosophy |
Marvin Farber |
Alonzo Church |
The Journal of Symbolic Logic |
1944 |
| C. West Churchman. Towards a general logic of propositions. Philosophical essays in honor of Edgar Arthur Singer, Jr |
F. P. Clarke and M. C. Nahm |
Alonzo Church |
The Journal of Symbolic Logic |
1943 |
| Logica, in usum scholarum |
Gerard Esser |
Alonzo Church |
The Journal of Symbolic Logic |
1943 |
| Elementary topics in mathematical logic |
Alonzo Church |
Morton G. White |
The Journal of Symbolic Logic |
1942 |
| Whitehead and the rise of modern logic |
Willard V. Quine |
Alonzo Church |
The Journal of Symbolic Logic |
1942 |
| Dimensions of society. A quantitative systematics for the social sciences |
Stuart Carter Dodd |
Alonzo Church |
The Journal of Symbolic Logic |
1942 |
| The calculi of lambda-conversion |
Alonzo Church |
Barkley Rosser |
The Journal of Symbolic Logic |
1941 |
| Introduction to logic and to the methodology of deductive sciences |
Alfred Tarski |
Alonzo Church |
The Journal of Symbolic Logic |
1941 |
| The Foundations of Empirical Knowledge |
Alfred J. Ayer |
Alonzo Church |
The Journal of Symbolic Logic |
1941 |
| Notes for symbolic logic. Mimeographed, unbound |
Rudolf Carnap |
Alonzo Church |
The Journal of Symbolic Logic |
1939 |
| The calculus of sets |
M. H. A. Newman |
Alonzo Church |
The Journal of Symbolic Logic |
1939 |
| Træk of deduktionsteoriens udvikling i den nyere tid (Outline of the recent development of the theory of deduction) |
Jørgen Jørgensen |
Alonzo Church |
The Journal of Symbolic Logic |
1938 |
| Men of mathematics |
E. T. Bell |
Alonzo Church |
The Journal of Symbolic Logic |
1937 |
| Mathematical logic |
Alonzo Church |
H. B. Curry |
The Journal of Symbolic Logic |
1937 |
| Mathematical logic |
Alonzo Church |
H. B. Curry |
The Journal of Symbolic Logic |
1937 |
