| The Collected Works of Alonzo Church |
Tyler Burge |
Jesús Padilla Gálvez |
Dókos: Revista Filosófica |
2020-01-01 |
| Logic, Meaning, and Computation: Essays in Memory of Alonzo Church (Synthése Library vol. 305) |
C Anthony Anderson |
G Aldo Antonelli |
History and Philosophy of Logic |
2004-05-01 |
| Essays in Analysis by Bertrand Russell |
Douglas P Lackey |
Alonzo Church |
The Journal of Symbolic Logic |
1976-09-01 |
| Introduction |
Peter Heath |
Alonzo Church |
The Journal of Symbolic Logic |
1976 |
| Introduction |
Peter Heath |
Alonzo Church |
The Journal of Symbolic Logic |
1976 |
| E. R. Kiely |
|
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Logische Syntax der Sprache |
Rudolf Carnap |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| B. F. McGuinness |
|
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Introductory note |
W. V. Quine |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Stephen F. Barker. Realism as a philosophy of mathematics. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel |
Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| The logic of scientific discovery |
Karl Popper |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Linguistic analysis |
H. A. Nielsen |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| De Morgan, Augustus |
G. L. Farre |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Threshold logic |
Sze-Tsen Hu |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Axiomatic system |
J. A. Ladrière |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Analytical philosophy |
M. J. Charlesworth |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Boole, George |
G. L. Farre |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| I. Thomas |
|
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Semantics |
Donald Nute |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Frege, Gottlob |
G. L. Farre |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Logic, symbolic |
W. A. Wallace |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Antinomy |
H. A. Nielsen |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Essai d'une théorie algébrique des nombres entiers, précédé d'une introduction logique à une théorie déductive quelconque |
Alessandro Padoa |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Peano, Giuseppe |
G. L. Farre |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Bolzano, Bemhard |
T. λ K. Kloyda |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Vlad Boicescu. Sur les algèbres de Lukasiewicz. Logique, automatique, informatique |
Gr.C. Moisil |
Alonzo Church |
The Journal of Symbolic Logic |
1974 |
| Mathematical logic as based on the theory of types. A reprint of the first five sections of 11116 |
Bertrand Russell |
Alonzo Church |
The Journal of Symbolic Logic |
1974 |
| Introductory note |
Jean van Heijenoort |
Alonzo Church |
The Journal of Symbolic Logic |
1974 |
| R. Harré. Preface. How I see philosophy, by F. Waismann |
R. Harré |
Alonzo Church |
The Journal of Symbolic Logic |
1973 |
| Elementary logic |
Benson Mates |
Alonzo Church |
The Journal of Symbolic Logic |
1973 |
| Language strata |
F. Waismann |
Alonzo Church |
The Journal of Symbolic Logic |
1973 |
| Theory construction |
J. J. C. Smart |
Alonzo Church |
The Journal of Symbolic Logic |
1973 |
| Symbolic logic |
John Venn |
Alonzo Church |
The Journal of Symbolic Logic |
1972 |
| Elementary lope |
Benson Mates |
Alonzo Church |
The Journal of Symbolic Logic |
1972 |
| On the work of Alan Baker |
Paul Turán |
Alonzo Church |
The Journal of Symbolic Logic |
1972 |
| Introductory note |
Jean van Heijenoort |
Alonzo Church |
The Journal of Symbolic Logic |
1972 |
| Diophantine representation of recursively enumerable predicates |
Yu. V. Matijasevič |
Alonzo Church |
The Journal of Symbolic Logic |
1972 |
| Gr. C. Moisil. Les états transitoires dans les circuits séquentiels. Logique, automatique, informatique |
Gr. C. Moisil |
Alonzo Church |
The Journal of Symbolic Logic |
1972 |
| Octavian C. Bâscâ. La synthèse des automates finis par la méthode de A. Church. Logique, automatique, informatique |
Gr. C. Moisil |
Alonzo Church |
The Journal of Symbolic Logic |
1972 |
| Linguistics |
David Crystal |
Alonzo Church |
The Journal of Symbolic Logic |
1972 |
| Terms in their propositional contexts in Wittgenstein's Tractatus. An index |
George Kimball Plochmann and Jack B. Lawson |
Alonzo Church |
The Journal of Symbolic Logic |
1971 |
| The Problem of Induction and its Solution |
Jerrold J. Katz |
Alonzo Church |
The Journal of Symbolic Logic |
1971 |
| Les logiques à plusieurs valeurs et l'automatique |
Gr. C. Moisil |
Alonzo Church |
The Journal of Symbolic Logic |
1971 |
| Editor's introduction |
A. J. Ayer |
Alonzo Church |
The Journal of Symbolic Logic |
1970 |
| Insolubilia. A reprint of 2813 |
Charles Sanders Peirce |
Alonzo Church |
The Journal of Symbolic Logic |
1969-11-17 |
| Elementary functions and coordinate geometry |
Sze-Tsen Hu |
Alonzo Church |
The Journal of Symbolic Logic |
1969-11-17 |
| Signification and significance. A study of the relation of signs and values. The M.I.T |
Charles Morris |
Alonzo Church |
The Journal of Symbolic Logic |
1968-07-23 |
| Transistor logic circuits |
Richard B. Hurley |
Alonzo Church |
The Journal of Symbolic Logic |
1968-04-26 |
| Cours de calcul booléien appliqué (notions tur les ensembles et les treillis, algèbres booléiennes, algèbre binaire). With a preface by René de Possel |
M. Denis-Papin, A. Kaufmann, and R. Faure |
Alonzo Church |
The Journal of Symbolic Logic |
1968-04-26 |
| Introduction |
G. H. R. Parkinson |
Alonzo Church |
The Journal of Symbolic Logic |
1968-04-26 |
