Alonzo Church

Princeton University, Princeton, NJ 
 University of California, Los Angeles, Los Angeles, CA 
Mathematics, Logic, Theory of Computation
"Alonzo Church"


Sign in to add mentor
Oswald Veblen grad student 1927 Princeton
 (Alternatives to Zermelo's Assumption)


Sign in to add trainee
C. Anthony Anderson grad student UCLA (Philosophy Tree)
Peter Bruce Andrews grad student (Robotree)
Gerald J. Massey grad student (Computer Science Tree)
Nicholas Rescher grad student (Philosophy Tree)
Ronaldo Vigo grad student Indiana University (Neurotree)
Stephen Cole Kleene grad student 1934 Princeton (Computer Science Tree)
John Barkley Rosser grad student 1934 Princeton
George Alfred Barnard grad student 1936 Princeton
Alan M. Turing grad student 1938 Princeton
John George Kemeny grad student 1949 Princeton
Michael O. Rabin grad student 1953-1957 Princeton (Computer Science Tree)
Hartley Rogers, Jr. grad student 1958 Princeton
Dana Stewart Scott grad student 1958 Princeton (Philosophy Tree)
Nathan Salmon grad student 1973-1979 UCLA (Philosophy Tree)
BETA: Related publications


You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Church A. (1993) A Revised Formulation of the Logic of Sense and Denotation. Alternative (1) NoûS. 27: 141-157
Church A. (1976) Douglas P. Lackey. Preface. Essays in analysis by Bertrand Russell, edited by Douglas Lackey, Allen & Unwin, Ltd., London, and George Braziller, Inc., New York, 1973, pp. 9–10. Journal of Symbolic Logic. 41: 700-702
Church A. (1975) Heyting A.. Intuitionism in mathematics. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I, Logique et fondements des mathématiques), edited by Klibansky Raymond, La Nuova Italia Editrice, Florence 1968, pp. 316–323. Journal of Symbolic Logic. 40: 472
Church A. (1975) Quine W. V.. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by van Heijenoort Jean, Harvard University Press, Cambridge, Mass., 1967, pp. 216–217.Whitehead Alfred North and Russell Bertrand. Incomplete symbols: Descriptions. Reprinted from 1947, pp. 66–71. Incomplete symbols: Descriptions. Reprinted from 1947, pp. 217–223. Journal of Symbolic Logic. 40: 472-473
Church A. (1975) Hu Sze-Tsen. Threshold logic. University of California Press, Berkeley and Los Angeles 1965, xiv + 338 pp. Journal of Symbolic Logic. 40: 250
Church A. (1975) Schwenkel Frieder. Rekursive Wortfunktionen über unendlichen Alphabeten. Zeitschrift für mathematische Logik und Grundlagen der Mathematik , vol. 11 (1965), pp. 133–147. Journal of Symbolic Logic. 40: 621-622
Church A. (1975) Péter Rózsa. Über die Verallgemeinerung der Theorie der rekursiven Funktionen für abstrakte Mengen geeigneter Struktur ah Definitionsbereiche. Acta mathematica Academiae Scientiarum Hungaricae , vol. 12 (1961), pp. 271–314, and vol. 13 (1962), pp. 1-24. Journal of Symbolic Logic. 40: 620-621
Church A. (1975) Wang Hao. Note on rules of inference. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 193–196. Journal of Symbolic Logic. 40: 604
Church A. (1975) J. Łos and R. Suszko. Remarks on sentential logics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings , ser. A vol. 61 (1958), pp. 177–183; also Indagationes mathematicae, vol. 20 (1958), pp. 177-183. Journal of Symbolic Logic. 40: 603-604
Church A. (1975) Gorman M.. Semantics. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 13, pp. 66–68. Journal of Symbolic Logic. 40: 598-599
See more...