Contents and Arrangement Collection View
Toggle

Series 1: Writings, 1924-1995
15 boxes
Description:

This series consists of Church's published and unpublished papers, lectures, and books, including reprints, manuscript drafts, research notes, and related correspondence. The first half of this series (Boxes 1-8) contains published papers, lectures, and a few reviews, all of which are arranged primarily by publication year, spanning 1924 to 1993. One exception is Church's 1995 published paper, which is placed in 1990, the year it was presented in a conference. In addition, a folder of miscellaneous, loose, and unidentified manuscript pages from Church's writings is at the end of Box 8. The second half of the series (Boxes 9-15) contains material pertaining to collected works of Church projects (unpublished as of this writing), early versions of Church's seminal textbook, Introduction to Mathematical Logic, the first edition of which was published by the Princeton University Press in 1956 (Church's many stenographer's notebooks filled with notes for the book are also included here), as well as some of Church's lectures, abstracts, and unpublished manuscripts. Church's mathematics and philosophy articles for the Encyclopaedia Britannica, along with his related editorial work and correspondence, are located in the Subject Files series.

This series is arranged into nine subseries: Published Papers, Published Papers, Published Papers, Published Papers, Published Papers, Published Papers, Published Papers, Published Papers, Collected Works Projects and Bibliographies, and Lectures Abstracts, Unpublished Papers, etc.

Suberies 1A: Published Papers, 1924-1951
1 box

"Uniqueness of the Lorentz Transformation" in American Mathematical Monthly, vol. 31 1924 pp. 376-382. 1 original journal, 1924
1 folder

"On Irredundant Sets of Postulates" in Transactions of the American Mathematical Society, vol. 27 1925 pp. 318-328. 2 reprints, 1925
1 folder

"Alternatives to Zermelo's Assumption" in Transactions of the American Mathematical Society, vol. 29 1927 January pp. 178-208. 1 reprint, 1927 January
1 folder

"On the Form of Differential Equations of a System of Paths" in Annals of Mathematics, vol. 28 1927 September pp. 629-630. 1 reprint, 1927 September
1 folder

"On the Law of the Excluded Middle" in Bulletin of the American Mathematical Society, vol. 34 1928 January-February pp. 75-78. 1 reprint, 1928 January-February
1 folder

Review of Alfred North Whitehead and Bertrand Russell, Principia Mathematica, Volumes II and III, in Bulletin of the American Mathematical Society, vol. 34 1928 March-April pp. 237-240. 1 reprint and 1 photocopy with autograph corrections ( 1976 added footnote), 1928 March-April, 1976
1 folder

"A Set of Postulates for the Foundation of Logic" in Annals of Mathematics, vol. 33 1932 April pp. 346-366. 1 reprint, 1932 April
1 folder

Review of F. P. Ramsey, The Foundations of Mathematics, in American Mathematical Monthly, vol. 39 1932 June-July pp. 355-357. 1 reprint, 1932 June-July
1 folder

"A Set of Postulates for the Foundation of Logic (Second Paper)" in Annals of Mathematics, vol. 34 1933 October pp. 839-864. 1 reprint, TMs(carbon), 46 pp., with ANS by Church to Prof. Von Neumann, 1933 October
1 folder

"The Richard Paradox" in American Mathematical Monthly, vol. 41 1934 June-July pp. 356-361. 1 original journal, 1 reprint, 1 photocopy, 1934 June-July
1 folder

"A Proof of Freedom from Contradiction" in Proceedings of the National Academy of Sciences, vol. 21 1935 May pp. 275-281. 2 reprints, 1 photocopy with ANS by Church, 1935 May
1 folder

"Quine on Logistic." Review of Willard Van Orman Quine, A System of Logistic, in Bulletin of the American Mathematical Society, vol. 41 1935 September pp. 598-603. 1 reprint, 1935 September
1 folder

Galois Institute Lecture: "A Finite Geometry," 1935 12 pp. (bound) and related tables and notes, 1935
1 folder

Galois Institute Lecture: "The Euclidean Parallel Postulate," 1936 January 11 11 pp. (bound), 1936 January 11
1 folder

"A Note on the Entscheidungsproblem" in The Journal of Symbolic Logic, vol. 1 1936 March pp. 40-41. 1 reprint, 1936 March
1 folder

"An Unsolvable Problem of Elementary Number Theory" in American Journal of Mathematics, vol. 58 1936 April pp. 345-363. 1 reprint, 1936 April
1 folder

(With J. B. Rosser) "Some Properties of Conversion" in Transactions of the American Mathematical Society, vol. 39 1936 May pp. 472-482. 1 reprint, 1936 May
1 folder

Correction to "A Note on the Entscheidungsproblem" in The Journal of Symbolic Logic, vol. 1 1936 September pp. 101-102. 1 reprint, 1936 September
1 folder

"A Bibliography of Symbolic Logic-Part II. Additions and Corrections." The Journal of Symbolic Logic, vol. 3 1938 December pp. 178-212. 1 reprint, 1938 December
1 folder

(With S. C. Kleene) "Formal Definitions in the Theory of Ordinal Numbers" in Fundamenta Mathematicae (Warsaw), vol. 28 1936 pp. 11-21. 1 reprint, 1 abstract, 1936
1 folder

"The Constructive Second Number Class" in Bulletin of the American Mathematical Society, vol. 44 1938 April pp. 224-232. 1 reprint, 1938 April
1 folder

"Schröder's Anticipation of the Simple Theory of Types" in The Journal of Unified Science (Erkenntnis), vol. 9 1939 pp. 149-152. 1 reprint, 1939
1 folder

"The Present Situation in the Foundation of Mathematics." TMs(carbon), 11 pp., and AMs in exercise book. (Published in Gonseth's Philosophie Mathématique, actualites scientifiques et industrielles 837, Hermann et Cie, Paris 1939 pp. 67-72.), 1939
1 folder

"On the Concept of a Random Sequence" in Bulletin of the American Mathematical Society vol. 46 1940 February pp. 130-135. 1 reprint, 1 abstract, AMs, 14 pp., 1940 February
1 folder

"A Formulation of the Simple Theory of Types" in The Journal of Symbolic Logic, vol. 5 1940 June pp. 56-68. 2 reprints, including AMs, 1 p., subtitled "Proof of Axiom 8...", 1940 June
1 folder

Galois Institute Lecture: "Elementary Topics in Mathematical Logic, I. The Algebra of Classes," 1940 2 copies, 1-26 pp., 1940
1 folder

Galois Institute Lecture: "Elementary Topics in Mathematical Logic, II. The Algebra of Propositions. Applications. Numerically Definite Reasoning," 1941 2 copies, pp. 27-51, 1941
1 folder

Galois Institute Lecture: "Elementary Topics in Mathematical Logic, III-V. Set Theory," 1941 pp. 52-76 and pp. 77-102, 1941
1 folder

Galois Institute Lecture: "Fermat's Last Theorem," undated 9 pp., undated
1 folder

"Differentials" in American Mathematical Monthly, vol. 49 1942 June-July pp. 389-392. 1 reprint, 1 photocopy, 1942 June-July
1 folder

Review of Rudolf Carnap, Introduction to Semantics, in The Philosophical Review, vol. 52 1943 May pp. 298-304. 2 reprints, 1943 May
1 folder

Review of Willard V. O. Quine, Notes on Existence and Necessity, in The Journal of Symbolic Logic, vol. 8 1943 June pp. 45-47. 1 reprint, 1943 June
1 folder

Review of Rudolf Carnap, Formalization of Logic, in The Philosophical Review, vol. 53 1944 September pp. 493-498. 1 reprint, 1944 September
1 folder

"A Formulation of the Logic of Sense and Denotation" in The Journal of Symbolic Logic, vol. 11 1946 March p. 30. Abstract of address presented at the eighth meeting of the Association for Symbolic Logic. 2 reprints, including 1946 AN addendum by Church, 1946
1 folder

"Conditioned Disjunction as a Primitive Connective for the Propositional Calculus" in Portugaliae Mathematica vol. 6 1948 pp. 87-90. 2 reprints, TMs(carbon), 7 pp., 1948
1 folder

"On Carnap's Analysis of Statements of Assertion and Belief" in Analysis, vol. 10 1950 April pp. 97-99. Includes various reprints; TMs, 3 pp., with autograph corrections and additions; TMs(carbon); 1 abstract of paper presented to the Association of Symbolic Logic at Worcester, Mass., 1949 December 28 and distributed to the audience, 1950 April
1 folder

"The Weak Theory of Implication," in A. Menne, A. Wilhemy, and H. Angstl, editors, Kontrolliertes Denken, Kommissions-Verlag Karl Alber, Freiburg and Munich, 1951 pp. 22-37. TMs, 8 pp. Also presented to the Association of Symbolic Logic on 1951 April 28 under the title "The weak positive implicational propositional calculus.", 1951
1 folder

"A Formulation of the Logic of Sense and Denotation" in Structure, Method and Meaning: Essays in Honor of Henry M. Sheffer, edited by Paul Henley, The Liberal Arts Press, New York 1951 pp. 3-24. Includes 1 reprint; 1 proof; TMs(carbon), 35 pp.; AMss in 6 exercise books (Church's lecture and manuscript draft); and related notes and correspondence, 1951
1 folder

Suberies 1B: Published Papers, 1951-1958
1 box

"The Need for Abstract Entities in Semantic Analysis" in Proceedings of the American Academy of Arts and Sciences, vol. 80 1951 July pp. 100-112. 1 original journal, 2 reprints, 1 copy made up for photographing, 1951 July
1 folder

"Special Cases of the Decision Problem" and "Special Cases of the Decision Problem: A Correction." in Revue Philosophique de Louvain, vol. 49 1951 May pp. 203-221. 1 reprint, 1951 May
1 folder

The Calculi of Lambda-Conversion. Annals of Mathematics Studies, no. 6, lithoprinted, Princeton 1941 second edition, 1951 Photocopy of first few pages only (a complete copy of the monograph can be found in Box 9 folder 7), 1941, 1951
1 folder

"Brief Bibliography of Formal Logic" in Proceedings of the American Academy of Arts and Sciences, vol. 80 1952 May pp. 155-172. 1 reprint, 1952 May
1 folder

(With W. V. Quine) "Some Theorems on Definability and Decidability" in The Journal of Symbolic Logic, vol. 17 1952 September pp. 179-187. 2 reprints, 1952 September
1 folder

"Non-Normal Truth-Tables for the Propositional Calculus" in Boletin de la Sociedad Matematica Mexicana vol 10 nos. 1-2 1953 pp. 41-52. 3 reprints, TMs(carbon), 15 pp., 1953
1 folder

"Tablas de Verdad No Normales Para el Calculo Proposicional" in Memoria del Congreso Cientifico Mexicano, 1953 pp. 81-89. Spanish translation of the preceding. 2 reprints, 1953
1 folder

Review of Raymond L. Wilder, Introduction to the Foundations of Mathematics, in The Mathematics Student, vol. 22 1954 April pp. 109-112. 1 reprint; AMs, 4 pp.; TMs(carbon), 3 pp..., 1954 April
1 folder

"Intensional Isomorphism and Identity of Belief" in Philosophical Studies, vol. 5 1954 October pp. 65-73. 1 photocopy of published article, TMs, 16 pp., with autograph corrections; AMs (in exercise book) with ANS by Church, 1954 October
1 folder

The Euclidean Parallel Postulate. The Galois Institute of Mathematics and Art, Brooklyn 1956 15 pp. 1 reprint; TMs, 13 pp, with autograph corrections; TMs, 11 pp., with autograph corrections; and related notes and correspondence, 1956
1 folder

"Propositions and Sentences" in The Problem of Universals: A Symposium. University of Notre Dame Press, Notre Dame 1956 pp. 1-12. 2 original copies, 1 reprint (published by Bobbs-Merrill), 1956
1 folder

"Binary Recursive Arithmetic" in Journal de Mathematiques Pures et Appliquees. ser. 9 vol. 36 1957 pp. 1250-1251. 2 reprints, 1 proof with autograph corrections, 1957
1 folder

"Application of Recursive Arithmetic to the Problem of Circuit Synthesis." Paper presented at the Summer Institute of Symbolic Logic at Ithaca, NY, in 1957 July with revisions made in 1957 August 1 reprint, 49 pp.; AMs and TMs manuscript sheets, 56 pp., prepared in 1957 August for printer; and related notes, corrections and correspondence, 1957 July
1 folder

"Applications of Recursive Arithmetic in the Theory of Computers and Automata." Reprinted from Advanced Theory of the Logical Design of Digital Computers. Summer Session, University of Michigan 1958 June with an addendum made in 1958 July 1 reprint, 67 pp., 1958 June
1 folder

"Applications of Recursive Arithmetic in the Theory of Computers and Automata": AMs and TMs, 83 pp., and related correspondence, dates not examined
1 folder

"Applications of Recursive Arithmetic in the Theory of Computers and Automata": Notes dated 1958 April and other related notes, drawings and correspondence; 4 exercise books of rough notes titled "Circuit synthesis Book I," "Circuit synthesis Book II Feb. 1957," "Circuit synthesis Book IV 1957 March" and "Circuit synthesis illustrated by working out particular examples"; envelope containing 10 mini transparencies (related to material in Box 15 folder 16), 1958 April
1 folder

Suberies 1C: Published Papers, 1958-1966
1 box

"Ontological Commitment" in The Journal of Philosophy, vol. 55 1958 November pp. 1008-1014. 1 original journal, 2 reprints, 1 AMs, 16 pp. (incomplete); proof with autograph corrections, 1958 November
1 folder

"Logic and Analysis" in Atti del XII Congresso Internazionale de Filosofia Venezia 1958 September 12-18 vol. 4, Sansoni Editore, Florence, 1960 pp. 77-81. 1 reprint; 1 AMs, 11 pp., 1958 September 12-18, 1960
1 folder

"Mathematics and Logic." In Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress Stanford 1962 pp. 181-186. 1 reprint; AMs, 11 pp., 1962
1 folder

"Matematica e Logica" in La Filosofia della Matematica, Carlo Cellucci, editor, Editori Laterza, Bari, 1967 pp. 143-151. Photocopy of published Italian translation of article and associated notes and correspondence, 1967
1 folder

"Mathematics and Logic" in Contemporary Philosophy, A Survey, edited by Raymond Klibansky (Florence, 1968) 1 reprint and associated correspondence, 1968
1 folder

"Logic, Arithmetic and Automata" in Proceedings of the International Congress of Mathematicians, Institut Mittag-Leffler, Djursholm, Sweden, 1962 August 15-22 (Stockholm 1963 pp. 23-35. Reprints, TMss (photocopies), and associated correspondence, 1962 August 15-22, 1963
1 folder

"Remarks on the Elementary Theory of Differential Equations as Area of Research." Presented at a Colloquium of the Academie Internationale de Philosophie des Sciences, Brussels, 1962 September 3 Photocopy of TMs, 45 pp., 1962 September 3
1 folder

"Remarks on the Elementary Theory of Differential Equations as Area of Research" in Information and Prediction in Science, Academic Press, New York and London 1965 pp. 139-177. Includes TMs, TMs(carbon), proofs, and related notes and correspondence, 1965
1 folder

"An Independence Question in Recursive Arithmetic" in Laszlo Kalmar, editor, Colloquium on the Foundations of Mathematics: Mathematical machines and Their Applications, Tihany, 1962 September 11-15 (Budapest: Akademiai Kiado, 1965 pp. 21-26. Includes AMs, 13 pp., and related notes and correspondence, 1962 September 11-15, 1965
1 folder

"The History of the Question of Existential Import of Categorical Propositions." In Proceedings of the 1964 International Congress for Logic, Methodology and Philosophy of Science, held in Jerusalem, 1964 August 26-September 2 North-Holland Publishing Company, Amsterdam, 1965 pp. 417-424. Includes reprints; TMss(carbon), 17 pp.; proofs; and related notes and correspondence, 1964 August 26-September 2, 1965
1 folder

"A Further Generalization of Laplace's Transformation. Preliminary report." AMs, 1 p.; TMs(carbon), 2 pp., dates not examined
1 folder

"A Generalization of Laplace's Theorem. Preliminary report." Notices of the American Mathematical Society Vol. 11, no. 2 1964 February pp. 249. AMs, 1 p.; TMs(carbon), 2 pp., 1964 February
1 box

"A Generalization of Laplace's Transformation" in Annales Academiae Scientiarum Fennicae, no. 377, Helsinki 1966 34 pp. 1 reprint, 1966
1 folder

"A Generalization of Laplace's Transformation": AMs, 45 pp. (incomplete), dates not examined
1 folder

"A Generalization of Laplace's Transformation": TMs, 61 pp., with autograph corrections, dates not examined
1 folder

"A Generalization of Laplace's Transformation": TMs(carbon), 61 pp., with autograph corrections, dates not examined
1 folder

"A Generalization of Laplace's Transformation": various proofs, dates not examined
1 folder

"A Generalization of Laplace's Transformation": related correspondence, dates not examined
1 folder

Suberies 1D: Published Papers, 1966-1973
1 box

"Paul J. Cohen and the Continuum Problem." In Proceedings of the International Congress of Mathematicians (Moscow 1966 edited by G. Petrovsky, Izdatel'stvo "Mir," Moscow 1968 pp. 15-20 (photocopy). AMs, 11 pp.; photocopy of TMs, 12 pp.; and related correspondence, including a 1966 TLS by Kurt Gödel re. Church's talk, 1966, 1968, 1966
1 folder

"Axioms For Functional Calculi of Higher Order." In Logic and Art: Essays in Honor of Nelson Goodman, edited by Richard S. Rudner and Israel Scheffler, Bobbs-Merrill Company, Indianapolis and New York 1972 pp. 197-213. 1 reprint; TMs, 25 pp.; AMs in notepad; AMs(carbon), 41 pp., with autograph corrections; related notes and correspondence, 1972
1 folder

"Postscript 1968" to the review of Quine's Notes on existence and necessity, The Journal of Symbolic Logic, vol. 8 1943 pp. 45-47. Spanish translation published in Semantica filosofica: Problemas y discussiones, edited by Thomas Moro Simpson, Siglo XXI Argentina Editores S. A., Buenos Aires 1973 1 proof and various photocopies, 1968, 1943, 1973
1 folder

Semantica filosofica: Problemas y discussiones, edited by Thomas Moro Simpson, Siglo XXI Argentina Editores S. A., Buenos Aires 1973 Proofs of several of Church's papers translated into Spanish. Spanish titles are "Acerca del articulo de Quine 'Notas sobre existencia y necesidad'"; "Postscript 1968" (see preceding folder); "Isomorfismo intensional e identidad de creencia"; "Sobre el analisis de los enunciados de aseveracion y creencia efectuado por Carnap"; "Proposiciones y oraciones"; "Sobre el analisis del discurso indirecto propuesto por Scheffler"; "Logica, analisis e intensionalidad.", 1973, 1968
1 folder

Correspondence between Alonzo Church and Thomas Moro Simpson regarding his book's publication, 1967-1972
1 folder

"Set Theory with a Universal Set" in Proceedings of Symposia in Pure Mathematics, vol. XXV, Proceedings of the Tarski Symposium (an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday), edited by Leon Henkin, John Addison, William Craig, C. C. Chang, Dana Scott, and Robert Vaught, American Mathematical Society, Providence, Rhode Island, 1974 pp. 297-308. 1 reprint and photocopy; proof and corrections; AMs, 23 pp., and photocopies, 1974
1 folder

"Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I) in NoÛs, vol. 7 1973 March pp. 24-33; "Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II)" in NoÛs 1974 May pp. 135-156. Reprints, 1973 March
1 folder

"Outline of a Revised Formulation of the Logic of Sense and Denotation": NoÛs 1973 correspondence relating to publication of paper, 1973
1 folder

"Outline of a Revised Formulation of the Logic of Sense and Denotation": AMs, 122 pp., dates not examined
1 folder

"Outline of a Revised Formulation of the Logic of Sense and Denotation": Mimeographed copy of AMs, 122 pp.; notes and corrections, dates not examined
1 folder

Suberies 1E: Published Papers, 1973-1978
1 box

"Outline of a Revised Formulation of the Logic of Sense and Denotation": Corrections of errata in photocopied version, 1974 June
1 folder

"Outline of a Revised Formulation of the Logic of Sense and Denotation": Misc. notes, various photocopies, dates not examined
1 folder

"Russellian Simple Type Theory." Presidential address delivered at the Forty-eighth Annual Meeting of the Pacific Division of the American Philosophical Association in San Francisco, 1974 March 29 Published in Proceedings and Addresses of the American Philosophical Association, vol. XLVII 1973-1974 pp. 21-33. 1 reprint, proof and photocopy, 1973-1974
1 folder

"Russellian Simple Type Theory": AMs, 22 pp., and photocopies, dates not examined
1 folder

"Russellian Simple Type Theory": Footnotes, 18 pp., with autograph corrections, and misc. notes, dates not examined
1 folder

"Russellian Simple Type Theory: AMs of outline in old notebook pad., dates not examined
1 folder

"Schröder's Anticipation of the Simple Theory of Types" in Erkenntnis, vol. 10 1976 October pp. 407-411. Includes reprints; proof and corrections; AMs, 8 pp.; TMs(carbon), 6 pp.; and related correspondence, 1976 October
1 folder

"Comparison of Russell's Resolution of the Semantical Antimonies with that of Tarski" in Journal of Symbolic Logic, Vol. 41, Number 4 1976 December Includes reprint; 2 photocopies of TMss, 41 pp.; related correspondence, 1976 December
1 folder

"Comparison of Russell's Resolution of the Semantical Antimonies with that of Tarski": AMs, misc. notes, dates not examined
1 folder

"Comparison of Russell's Resolution of the Semantical Antimonies with that of Tarski." Republished in Recent Essays on Truth and the Liar Paradox edited by Robert L. Martin, Clarendon Press and Oxford University Press, 1984 pp. 289-306. Various photocopies of related correspondence, corrections, notes, etc., 1984
1 folder

"Propositionen und Sätze," "Ontologische Voraussetzungen," and "Intensionale Semantik" in Das Universalien-Problem, edited by Wolfgang Stegmüller. 1 reprint of each article translated into German, proofs and corrections. English titles are "The Need for Abstract Entities in Semantic Analysis" 1951 retitled "Intensional Semantics"; Ontological Commitment" 1958 and "Proposition and Sentences" 1956, 1951, 1958, 1956
1 folder

Correspondence (1967-1978) regarding publication of Das Universalien-Problem 1978 edited by Wolfgang Stegmüller, and translation of Church's articles into German by Walter Hoering, 1978
1 folder

Suberies 1F: Published Papers, 1978-1980
1 box

"A Remark Concerning Quine's Paradox about Modality" (1978-1988). AMs, 18 pp. (completed in 1978 This paper was written for a special number of the Spanish language periodical, Syntaxis, (Montevideo), dedicated to W. V. Quine. Also includes photocopies of manuscript and an earlier AMs (partial draft), notes, Spanish text, correspondence with Sintaxis, and a photocopy of the article as reprinted in Propositions and Attitudes, edited by Nathan Salmon and Scott Soames, Oxford University Press, 1988, 1978, 1988
1 folder

"A Remark Concerning Quine's Paradox about Modality": "Reply to Church" (photocopy of typed manuscript) by W. V. Quine and 1978 letter by Quine to Church (original filed in Correspondence series), notes, etc., 1978
1 folder

"A Remark Concerning Quine's Paradox about Modality": Analisis Filosofico, 1982 May-November Includes a letter from Church, Spanish text of article with corrections, and 2 photocopies of the published article, 1982 May-November
1 folder

"Russell's Theory of Identity of Propositions" in Philosophia Naturalis, vol. 21 1984 pp. 513-522. Reprints, photocopies of TMs and proof (incomplete) with autograph corrections, 1984
1 folder

"Russell's Theory of Identity of Propositions": AMs, 23 pp. and photocopy, dates not examined
1 folder

"Russell's Theory of Identity of Propositions": ANS by Church; photocopies of related correspondence; various notes; AMs, 5 pp., and photocopy of lecture at Stanford University, 1984 May 3
1 folder

"Intensionality and the Paradox of the Name Relation" 1983-1984 Lecture at a joint symposium of the American Philosophical Association and the Association for Symbolic Logic, Berkeley, California, 1983 March 26 Includes photocopies of material distributed to the audience, 5 pp.; AMs, 8 pp., with addendum dated 1983 June 6 and a photocopied addendum dated 1984 May 31, 1983-1984
1 folder

"Intensionality and the Paradox of the Name Relation" 1989 Published in Themes from Kaplan, edited by Joseph Almog, John Perry, Howard Wettstein, 1989 pp. 151-165 (photocopies). Also includes "Comments on Themes from Kaplan" by Church, 1989, 1989
1 folder

"Intensionality and the Paradox of the Name Relation": AMs, 41 pp. (including multiple, original manuscript pages of some pages), dates not examined
1 folder

"Intensionality and the Paradox of the Name Relation": Related notes and correspondence, dates not examined
1 folder

"Intensionality and the Paradox of the Name Relation": Correction by Michael Zelëny (not published), dates not examined
1 folder

"Intensionality and the Paradox of the Name Relation": photocopy of older, unfinished version (24 pp.), dates not examined
1 folder

"A Theory of the Meaning of Names" 1990 AMs, 18 pp. (preliminary copy, fall 1989) and photocopies. This is also the version that was distributed at the University of Buffalo symposium in 1990 May, 1990, 1989
1 folder

"A Theory of the Meaning of Names": New page 15 and Footnote 11, 1 p. of notes. This paper was published in The Heritage of Kazimierz Ajdukiewicz, edited by Vito Sinisi and Jan Wolenski (Editions Rodopi B. V., Amsterdam - Atlanta, GA 1995 pp. 69-74 (photocopy of cover and contents pages included), 1995
1 folder

Suberies 1G: Published Papers, 1993
2 boxes

"A Revised Formulation of the Logic of Sense and Denotation, Parts I and II," in NoÛs 27:2 1993 pp. 141-157. Includes reprint, proofs with autograph corrections, related correspondence, notes, etc., 1993
1 folder

"A Revised Formulation of the Logic of Sense and Denotation, Parts I and II": Photocopies of article, some with autograph corrections, related correspondence, notes, etc., dates not examined
1 folder

"A Revised Formulation of the Logic of Sense and Denotation, Part I": Photocopies of manuscript and notes dated, 1993 January
1 folder

"A Revised Formulation of the Logic of Sense and Denotation, Part I": Photocopy of Alternative 1 and notes re. proof of the main lemma (for P6), dates not examined
1 folder

"A Revised Formulation of the Logic of Sense and Denotation, Part I": Various photocopied versions of manuscript, dates not examined
1 folder

"A Revised Formulation of the Logic of Sense and Denotation, Part I": Misc. manuscript pages, pp. 1-14, dates not examined
1 folder

"A Revised Formulation of the Logic of Sense and Denotation, Part I": Misc. manuscript pages, pp. 15-30, dates not examined
1 folder

"A Revised Formulation of the Logic of Sense and Denotation": Footnotes, dates not examined
1 folder

"A Revised Formulation of the Logic of Sense and Denotation, Part II": Proof with autograph corrections, notes, etc., dates not examined
1 folder

"A Revised Formulation of the Logic of Sense and Denotation, Part II": Various photocopied versions of manuscript, with some original pages, dates not examined
1 folder

"A Revised Formulation of the Logic of Sense and Denotation, Part II": Notes dated 1987 December and 1988 July-August, 1988 July-August
1 folder

"A Revised Formulation of the Logic of Sense and Denotation, Part II": "Pages not used because later changed pp. 23-26 of Part II - especially about the Socrates-Plato paradox" (Church's AN on envelope), dates not examined
1 folder

"A Revised Formulation of the Logic of Sense and Denotation, Part II": "Part II, finished ms., copy 1" (Church's AN on envelope), dates not examined
1 folder

"A Revised Formulation of the Logic of Sense and Denotation, Part II": "Found in grocery cart in study" (Church's AN on envelope), dates not examined
1 folder

"A Revised Formulation of the Logic of Sense and Denotation, Part II": Misc. loose pages of manuscript, dates not examined
1 folder

"A Revised Formulation of the Logic of Sense and Denotation, Part II": Misc. loose pages of manuscript, dates not examined
1 folder

Misc. loose, unidentified manuscript pages by Alonzo Church, dates not examined
1 folder

Suberies 1H: Collected Works Projects and Bibliographies, 1928-1994
6 boxes

Correspondence 1967-1971 with Silva Editore, publisher in Italy, regarding proposed volume of Italian translations of selected papers of Church, 1967-1971
1 folder

Collected Works project correspondence, 1981-1994
1 folder

"On the Law of the Excluded Middle", 1928 January
1 folder

"A Set of Postulates for the Foundation of Logic", 1931 October 5
1 folder

"An Unsolvable Problem of Number Theory", 1935 April 19
1 folder

"On the Concept of a Random Sequence", 1939 April 8
1 folder

The Calculi of Lambda-Conversion, 1941
1 folder

"On Carnap's Analysis of Statements of Assertion and Belief", 1949 December 28
1 folder

"The Need for Abstract Entities in Semantic Analysis", 1951 July
1 folder

"Non-Normal Truth-Tables for the Propositional Calculus", 1953
1 folder

"Some Examples of Strongly Non-normal Characteristic Systems of Truth-tables for the Propositional Calculus", 1954 March 12
1 folder

"Intensional Isomorphism and Identity of Belief", 1954 June 14
1 folder

"Propositions and Sentences", 1956
1 folder

"Logic and Analysis", 1958
1 folder

"Ontological Commitment", 1958 November
1 folder

"Paul J. Cohen and the Continuum Problem", 1968
1 folder

"Postscript 1968" to the review of Quine's Notes on existence and necessity [Church, 1943] 1973, 1968, 1943, 1973
1 folder

"Logic, Arithmetic,and Automata", 1973
1 folder

"Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I)", 1973
1 folder

"Set Theory with a Universal Set", 1975
1 folder

"Schröder's Anticipation of the Simple Theory of Types", 1976
1 folder

"How Far Can Frege's Intensional Logic Be Reproduced Within Russell's Theory of Descriptions?", 1979 March 23
1 folder

"A Revised Formulation of the Logic of Sense and Denotation. Alternative (1).", 1987 January 3
1 folder

"A Theory of the Meaning of Names", 1987 January 3
1 folder

"Mathematics and Logic", 1993 December 23
1 folder

"A Remark Concerning Quine's Paradox About Modality", 1993 December 23
1 folder

"On Scheffler's Approach to Indirect Quotation", 1993 December 23
1 folder

22 Reviews by Church, 1939-1975
1 folder

Bibliography compiled by Erin Zhu, 1993 December 22 63 pp., 1993 December 22
1 folder

Various Bibliographies of Church's Writings, dates not examined
1 folder

Introduction to Mathematical Logic, Volume I by Alonzo Church. Volume I, revised and enlarged edition (Princeton: Princeton University Press, 1956 Second printing, 1958 Fifth printing, 1967, 1956, 1958, 1967
1 box

Mathematical Logic by Alonzo Church, Princeton University 1931-1932 First Term. Notes by S. C. Kleene (158 pp.), 1931-1932
1 folder

Mathematical Logic Lectures by Alonzo Church, Princeton University, 1935 October-1936 January (Notes by F. A. Ficken, H. G. Landau, H. Ruja, R. R. Singleton, N. E. Steenrod, J. H. Sweer, F. J. Weyl) 113 pp., 1935 October-1936 January
1 folder

Introduction to Mathematical Logic: Introduction (pp. 1-76; 1948 October Corrections to 1949 November), 1948 October
1 folder

Introduction to Mathematical Logic: Chapter I, II (pp. 77-295; 1948 October Corrections to 1949 November), 1948 October
1 folder

Introduction to Mathematical Logic: Chapter III (pp. 296-393; 1949 February Corrections to 1949 November), 1949 February
1 folder

Introduction to Mathematical Logic: Chapter IV (pp. 394-530; ), 1950 January
1 folder

Introduction to Mathematical Logic: Chapter V (pp. 532-646; ), 1951 February
1 folder

Introduction to Mathematical Logic: Chapter VII (46 pp., ), 1965 May
1 folder

Introduction to Mathematical Logic, Vol. I: Notes in stenographer's notebooks #1-2, dates not examined
1 folder

Introduction to Mathematical Logic: Notes in stenographer's notebooks #3-4, dates not examined
1 folder

Introduction to Mathematical Logic: Notes in stenographer's notebooks #5-6, dates not examined
1 folder

Introduction to Mathematical Logic: Notes in stenographer's notebooks #7 (2), dates not examined
1 folder

Introduction to Mathematical Logic: Notes in stenographer's notebooks #8-10, dates not examined
1 folder

Introduction to Mathematical Logic: Notes in stenographer's notebooks #11-12, dates not examined
1 folder

Introduction to Mathematical Logic: Notes in stenographer's notebooks, Footnotes #1- 2, dates not examined
1 folder

Introduction to Mathematical Logic: Notes in stenographer's notebooks, Footnotes #3- 4, dates not examined
1 folder

Notes for Introduction to Mathematical Logic, Vol. I, chapter 47, p. 273, dates not examined
1 folder

Introduction to Mathematical Logic: Notes and Exercises, dates not examined
1 folder

Introduction to Mathematical Logic: Reviews, dates not examined
1 folder

Introduction to Mathematical Logic, Volume I: Corrections to the first 1956 printing, 1956
1 folder

Introduction to Mathematical Logic, Volume I: Corrections to the second 1958 printing, 1958
1 folder

Introduction to Mathematical Logic, Volume I: Correspondence, 1960-1977
1 folder

Introduction to Mathematical Logic: Partial photocopy of Russian translation of book (Moscow ), 1960
1 folder

Introduction to Mathematical Logic, Vol. II: Notes in stenographer's notebooks #1-2, dates not examined
1 folder

Introduction to Mathematical Logic, Vol. II: Notes in stenographer's notebooks #3-4, dates not examined
1 folder

Introduction to Mathematical Logic, Vol. II: Notes in stenographer's notebooks #5-6, dates not examined
1 folder

Introduction to Mathematical Logic, Vol. II: Notes in stenographer's notebook #7, Recursive Arithmetic and Circuits, dates not examined
1 folder

Introduction to Mathematical Logic, Vol. II: Notes in stenographer's notebooks #8-9, dates not examined
1 folder

Introduction to Mathematical Logic: Notes for Volume II (photocopies of some of the material in the stenographer's notebooks), dates not examined
1 folder

Introduction to Mathematical Logic(?): Chapter I, The Class (third onion copy). TMs, pp. 1-16, dates not examined
1 folder

Introduction to Mathematical Logic(?): Chapter II, The Classes Section I: A Generalization of the Class of Sets (third onion copy). TMs, pp. 17-47, dates not examined
1 folder

Introduction to Mathematical Logic(?): Chapter III, The Forms of the Number Classes of Systems in (third onion copy). TMs(carbon), pp. 46-75, dates not examined
1 folder

Introduction to Mathematical Logic, Chapter VII, The Logistic System A2: ALs(drafts and notes) by Alonzo Church to T. Thacher Robinson, 1954 TMs(carbon), pp. 1-48; AMs, pp. 55-66; AMs, pp. 67-145, 1954
1 folder

Introduction to Mathematical Logic Chapter VII: TMs with autograph corrections, 53 pp., dates not examined
1 folder

Introduction to Mathematical Logic, Chapter VII: TMs with autograph corrections, dates not examined
1 folder

Introduction to Mathematical Logic, Chapter VII: TMs(carbon) with autograph corrections, dates not examined
1 folder

Introduction to Mathematical Logic, Chapter VII: TMs(carbon) with autograph corrections, dates not examined
1 folder

Introduction to Mathematical Logic, Chapter VII: TMs with autograph corrections, dates not examined
1 folder

Introduction to Mathematical Logic, Chapter VII: TMs with autograph corrections, dates not examined
1 folder

Introduction to Mathematical Logic, Chapter VII: TMs with autograph corrections and 1 p. of notes by Church, dates not examined
1 folder

Introduction to Mathematical Logic, Chapter VII: Outline of 74-75 (mimeographed copy with revised page 70); Notes (photocopies), dates not examined
1 folder

Outline of 74-75 (Chapter VII, cont.): 1971 December-1976 April notes; Outline of 74-75, pp. 41-82, including superseded and revised pages, AMs; UCLA Philosophy 222B Class Notes, 1972 May TMs, 12 pp., 1971 December-1976 April
1 folder

Outline of 74-75 (Chapter VII, cont.): mimeographed copies with autograph corrrections, dates not examined
1 folder

Suberies 1I: Lectures, Abstracts, Unpublished Papers, etc., 1928-1984 May 3
1 box

"Space and Time" and "Uniqueness of the Lorentz Transformation" circa 1928 AMs, 50 pp., in a folder originally labeled "Special Relativity", circa 1928
1 folder

"Grelling's Antimony for the System of a Formulation of the Simple Theory of Types," 1949 February 14 TMs(carbon), 5 pp.; ALS (draft), 1949 February 14
1 folder

"Some Examples of Strongly Non-normal Characteristic Systems of Truth-tables for the Propositional Calculus." Lecture at the Harvard Philosophy Club, 1954 March 12 AMsS, 1 p.; 1 TMs, 1 p., 1954 March 12
1 folder

"Application of Recursive Arithmetic to Electric Circuits and Automata," University of Illinois, 1956 November 8 TMs, 7 pp.; AMs, 1 p. addenda; 1 p. of autograph corrections and insertions, 1956 November 8
1 folder

"Misogyny and Ontological Commitment," Harvard University, 1958 April 18 TMs(carbon), 11 pp., 1958 April 18
1 folder

Preliminary report, presented to the American Mathematical Society, 1963 August 30 AMs, 7 pp. draft of abstract, 1963 August 30
1 folder

"A revision of Monge's method," AMs, 5 pp. draft of abstract, dates not examined
1 box

"Some generalizations of Laplace's transformation"), AMs, 4 pp. draft of abstract, dates not examined
1 box

"Reduction of the Monge-Ampère equation," American Mathematical Society, 1966 TMs, 1 p. abstract, 1966
1 folder

"Frege on the Philosophy of Time," 1969 April 17 AMs, 11 pp., 1969 April 17
1 folder

"The Translation Argument Reexamined" Lecture, 1970 February 27 AMs, 4 pp.; AMs, 1 p. of autograph notes, 1970 February 27
1 folder

"Set Theory on a Universal Set" Background Material, Arthur B. Coble Memorial lectures, 1975 September 23-25 Urbana, Illinois, AMs, 16 pp. of lecture notes: "Sets of the Model Transfinitely Generated" 7 pp.; "Conditions on the Relations invm," 1 p.; Introduction Equivalences of a Set a m+1," 1 p.; "Basic Axioms," 1 p.; "Set Existence," 1 p.; "Hailperin's Axioms for the Quine Set Theory," 1 p.; "Modified n-Equivalence," 1 p.; "The Recursion Order," 1 p.; "Invariance Relations Directed towards the Hailperin Axioms," 2 pp. Also 1 photocopy and typed, mimeographed copy, 18 pp., 1975 September 23-25
1 folder

Set Theory original manuscript, 1979 January-March AMs, 42 pp.; 1 photocopy. Includes "Hailperin's Axioms for the Quine Set Theory," 1 p.; "Analysis Directed Towards Proof of P6," 2 pp.; "The Main Lemma, 1 p.; "Lemmas Needed for the Proof of the Main Lemma," 4 pp.; "Proof of the Main Lemma (for P6) from Lemmas 1-5," 2 pp., 1979 January-March
1 folder

"How Far Can Frege's Intensional Logic Be Reproduced Within Russell's Theory of Descriptions?" Unpublished abstract of a lecture presented to the American Philosophical Association, San Diego, CA, 1979 March 23 AMs, 6 pp.; 4 pp. of autograph notes, 1979 March 23
1 folder

Manuscript about extensional and intensional semantical rules (distributed to students in Philosophy 127B at UCLA, 1982 Spring AMs, 12 pp., 1982 Spring
1 folder

"Intensionality and the Paradox of the Name Relation," Berkeley, CA, 1983 March 26 (invited lecture at joint symposium of the American Philosophical Association and the Association for Symbolic Logic). "Text of Lecture 1983 March 26 - first draft, to be revised," AMs, 1 pp; photocopy, 5 pp., with 1983 June 6 addendum, 3 pp., 1983 March 26
1 folder

"Material distributed to the audience, 1983 March 26", photocopy, 5 pp.; AMs, 2 pp., 1983 March 26
1 box

"Russell's Theory of Identity of Propositions," Stanford University, 1984 May 3 AMs (photocopy), 5 pp., 1984 May 3
1 folder

Untitled Lecture regarding "A Finite Automaton... Restricted Recursive Arithmetic," undated AMs, 17 pp., and one set of transparencies, undated
1 folder

"A Sketch of An Extensional-Semantical Meta-Language A2s of A2," undated AMs, 3 pp., undated
1 folder

"Nominalism and Logic" [University of Ohio, 1958 April 17] TMs, 5 pp., and autograph notes, 1958 April 17
1 folder

"Resolution of Berry's Antimony by Ramified Type Theory," undated TMs, 3 pp. and various AMs pages, undated
1 folder

"Corrections and Minor Comments affecting Heyting's Intuitionism, edition of 1976" undated AMs, 6 pp. and photocopy, 1976
1 folder

"A fragment about Heyting," undated AMs, 3 pp., and photocopy, undated
1 folder

"Russell, The Principles of Mathematics," undated AMs, 5 pp., and photocopy, undated
1 folder

"An Illustration of Frege's Theory of Meaning," undated AMs, 7 pp., and photocopy, undated
1 folder

"A Formalized Language Suited for Ajdukiewicz's Resolution of the Paradox of the Name Relation, undated AMs, 7 pp., undated
1 folder

"Grelling's Antimony," undated AMs, 5 pp., photocopy and mimeographs, with autograph notes, undated
1 folder

"Grelling's Antimony," undated AMss (multiple page drafts of manuscript), undated
1 folder

Series 2: Correspondence, 1934-1998
24 boxes
Description:

This series consists of Church's extensive correspondence (dating from 1928 to 1995) that relates to all aspects of Church's academic life and career, including his association with the Association of Symbolic Logic (ASL) from its earliest days (1935 and onwards) and the publication of the Journal of Symbolic Logic (JSL), of which he served as editor and editor of reviews from 1936 until 1979. While the academic correspondence is primarily organized alphabetically by correspondent's or organization's names, the JSL and ASL correspondence sub-series reflects changes in office filing systems over the years. Whenever possible, the original filing systems were preserved in the organization of this series. It is therefore possible to find the letters of any one prominent scholar under several categories; for example, W. V. Quine's letters can be found organized by year in the JSL/ASL sub-series between 1936 and 1979, including in one folder labeled "JSL Correspondence 1957-59 L-Z," and by name in both the academic correspondence and the JSL office correspondence files. There is a limited amount of non-academic-related correspondence (family, friends, financial, etc.) at the end of the series.

This series is arranged into five subseries: Academic Correspondence, Journal of Symbolic Logic Correspondence, Association for Symbolic Logic Correspondence, Journal of Symbolic Logic Office Files, Miscellaneous Correspondence by Subject.

Subseries 2A: Academic Correspondence, 1934-1978
7 boxes

A General, dates not examined
1 folder

Abian, Alexander, dates not examined
1 folder

Academié International de Philosophie des Sciences, dates not examined
1 folder

Ackermann, Robert, dates not examined
1 folder

Ackerman, Wilhelm, dates not examined
1 folder

Addison, John, dates not examined
1 folder

Ajdukiewicz, Kazimierz, dates not examined
1 folder

American Mathematical Society, dates not examined
1 folder

American Philosophical Association, dates not examined
1 folder

Anderson, C. Anthony, dates not examined
1 folder

Andrews, Peter B., dates not examined
1 folder

Angelleli, Ignacio, dates not examined
1 folder

Ansejo, F. G., dates not examined
1 folder

Arbab, Bijan, dates not examined
1 folder

Ba-Bl General, dates not examined
1 folder

Bo-Bu General, dates not examined
1 folder

Barendregt, Henk, dates not examined
1 folder

Bar-Hillel, Yehoshua, dates not examined
1 folder

Barzin, Marcel, dates not examined
1 folder

Basil Blackwell Publisher, dates not examined
1 folder

Bausch, Augustus F., dates not examined
1 folder

Baylis, C. A., dates not examined
1 folder

Bealer, George P., dates not examined
1 folder

Beard, Robert W., dates not examined
1 folder

Behmann, Heinrich, dates not examined
1 folder

Berkeley, E. C. (re. Elementary Topics in Mathematical Logic), dates not examined
1 folder

Bernays, Paul, 1934-1975
1 folder

Beth, E. W., dates not examined
1 folder

Bex, Joseph, dates not examined
1 folder

Boone, W. W., dates not examined
1 folder

Borgers, A., dates not examined
1 folder

Bowden, Leon, dates not examined
1 folder

British Academy, dates not examined
1 folder

Burks, Arthur W., dates not examined
1 folder

Bynum, Terry, dates not examined
1 folder

C General, dates not examined
1 folder

Carnap, Rudolf, 1940-1954
1 folder

Chaitin, Gregory J., dates not examined
1 folder

Chandraskekharan, K., dates not examined
1 folder

Chatalian, George, dates not examined
1 folder

Cherry, T. M., dates not examined
1 folder

Cohen, A., dates not examined
1 folder

Cohen, Robert S., dates not examined
1 folder

Copeland, Arthur H., dates not examined
1 folder

Copi, Irving M., dates not examined
1 folder

Corcoran, John P., Jr., dates not examined
1 folder

Craig, William, dates not examined
1 folder

Cunningham, G. Watts, dates not examined
1 folder

Curry, H. B., dates not examined
1 folder

Cusmariu, Arnold, dates not examined
1 folder

D General, dates not examined
1 folder

Daigneault, Aubert, dates not examined
1 folder

Davis, Martin, dates not examined
1 folder

Dawson John W., Jr, dates not examined
1 folder

Destouches, J. L., dates not examined
1 folder

Dickson, Harald, dates not examined
1 folder

Dockx, S. I., dates not examined
1 folder

Dodds, Harold W., dates not examined
1 folder

Drucker, Thomas L., dates not examined
1 folder

E General, dates not examined
1 folder

Elgot, C. C., dates not examined
1 folder

Errera, Alfred (re. Excluded middle), dates not examined
1 folder

F General, dates not examined
1 folder

Feigl, Herbert, dates not examined
1 folder

Ferrari, Gerard, dates not examined
1 folder

Feys, R., dates not examined
1 folder

Fine, Henry B., dates not examined
1 folder

Fitch, Frederic B, 1937-1978
1 folder

Fraenkel, A., dates not examined
1 folder

Frechet, Maurice, dates not examined
1 folder

G General, dates not examined
1 folder

Gandy, R. O., dates not examined
1 folder

Gillespie, Charles, dates not examined
1 folder

Gilman, R. L., dates not examined
1 folder

Gödel, Kurt, dates not examined
1 folder

Gonseth, F., dates not examined
1 folder

Goodman, Nelson, dates not examined
1 folder

Goodstein, R. L., dates not examined
1 folder

Gotshalk, D. W., dates not examined
1 folder

Grattan-Guinness, I., dates not examined
1 folder

Greenwood, Thomas, dates not examined
1 folder

H General, dates not examined
1 folder

Halmos, Paul R., dates not examined
1 folder

Harvard University, dates not examined
1 folder

Hedrick, Earle (re. Excluded middle), dates not examined
1 folder

Hendel, Charles W., dates not examined
1 folder

Henkin, Leon, dates not examined
1 folder

Heyting, A., dates not examined
1 folder

Huntington, Edward V., dates not examined
1 folder

I General, dates not examined
1 folder

International Congress of Mathematicians, dates not examined
1 folder

Iseka, Kiyosi, dates not examined
1 folder

Isles, David, dates not examined
1 folder

Itoh, Makoto, dates not examined
1 folder

J General, dates not examined
1 folder

K General, dates not examined
1 folder

Kalish, Donald, dates not examined
1 folder

Kaplan, David, dates not examined
1 folder

Kaplansky, Irving, dates not examined
1 folder

Kates, Robert, dates not examined
1 folder

Kattsoff, Louis O., dates not examined
1 folder

Kemeny, John, dates not examined
1 folder

Kleene, S. C., dates not examined
1 folder

Kline, J. R., dates not examined
1 folder

Kondô, Motokiti, dates not examined
1 folder

Koopman, B. O., dates not examined
1 folder

Korselt, A., dates not examined
1 folder

Kraft, Julius, dates not examined
1 folder

Kreisel, Georg, dates not examined
1 folder

L General, dates not examined
1 folder

Landau, E., dates not examined
1 folder

Langford, C. H., dates not examined
1 folder

Langford, C. H. (re. Irredundant postulates), dates not examined
1 folder

Lazerowitz, Alice A., dates not examined
1 folder

Leblanc, Hugues, dates not examined
1 folder

Lejewski, C., dates not examined
1 folder

Lewis, C. I., dates not examined
1 folder

Lieber, H. G. and L. R., dates not examined
1 folder

Lingstrom, William T., dates not examined
1 folder

Linsky, Leonard, dates not examined
1 folder

Lorenzen, Paul, dates not examined
1 folder

Lüscher, Dodera, dates not examined
1 folder

M General, dates not examined
1 folder

MacLane, Saunders, dates not examined
1 folder

Madarász, Anna, dates not examined
1 folder

Makinson, David, dates not examined
1 folder

Malcev, A. I., dates not examined
1 folder

Manor, Ruth, dates not examined
1 folder

Martin, R. M., dates not examined
1 folder

Mates, Benson, dates not examined
1 folder

McKinsey, J. C. C., dates not examined
1 folder

McNaughton, Robert, dates not examined
1 folder

Merrill, Daniel D., dates not examined
1 folder

Montague, Richard, dates not examined
1 folder

Montgomery, Deane, dates not examined
1 folder

Monteiro, Antonio, dates not examined
1 folder

Mostowski, Andrezj, dates not examined
1 folder

Müller, Gert, dates not examined
1 folder

Myhill, John, dates not examined
1 folder

N General, dates not examined
1 folder

Nagel, Ernest, dates not examined
1 folder

Nash, John, Jr., dates not examined
1 folder

Narveson, Anne, dates not examined
1 folder

Nelson, Raymond J., dates not examined
1 folder

Newman, M. H. A. (re. Alan Turing), dates not examined
1 folder

O General, dates not examined
1 folder

P General, dates not examined
1 folder

De Paola, Angela, dates not examined
1 folder

Parsons, Charles, dates not examined
1 folder

Parsons, Terence, dates not examined
1 folder

Péter, Rózsa, dates not examined
1 folder

Pizá, Pedro A., dates not examined
1 folder

Post, E. L, 1936-1954
1 folder

Princeton University, dates not examined
1 folder

Princeton University Press, dates not examined
1 folder

Prior, A. N., dates not examined
1 folder

Putnam, Hilary, dates not examined
1 folder

Q General, dates not examined
1 folder

Quine, W. V, 1935-1978
1 folder

R General, dates not examined
1 folder

Rawls, John, dates not examined
1 folder

Reichbach, Juliusz, dates not examined
1 folder

Reichenbach, Hans, dates not examined
1 folder

Rescher, Nicholas, dates not examined
1 folder

Richardson, Moses, dates not examined
1 folder

Riska, Augustus, dates not examined
1 folder

Robinson, T. Thacher, dates not examined
1 folder

Rosser, J. Barkley, dates not examined
1 folder

Rota, Gian-Carlo, dates not examined
1 folder

Rudner, Richard, dates not examined
1 folder

Runes, Dagobert D. (re. Dictionary of Philosophy and Philosophic Abstracts), dates not examined
1 folder

Russell, Bertrand, dates not examined
1 folder

Sa-Si General, dates not examined
1 folder

Sk-Sz General, dates not examined
1 folder

Salié, H., dates not examined
1 folder

Salmon, Nathan, dates not examined
1 folder

Schlipp, Paul A. (Library of Living Philosophers, Inc.), dates not examined
1 folder

Schmidt, H. Arnold, dates not examined
1 folder

Scholz, Erna, dates not examined
1 folder

Scholz, Heinrich, dates not examined
1 folder

Sedey, Daniel, dates not examined
1 folder

Seldin, Jonathan P., dates not examined
1 folder

Shirshov, A. I., dates not examined
1 folder

Shukla, Anian, dates not examined
1 folder

Sierna, Adolfo G. de la, dates not examined
1 folder

Simpson, Thomas M., dates not examined
1 folder

Sobocinski, Bolestaw, dates not examined
1 folder

Stenström, Valdemar, dates not examined
1 folder

Stopes-Roe, H. V., dates not examined
1 folder

Stuermann, Walter, dates not examined
1 folder

T General, dates not examined
1 folder

Takeda, Hiromichi, dates not examined
1 folder

Talmage, R. S., dates not examined
1 folder

Tarski, Alfred, dates not examined
1 folder

Tartaglia, Philip, dates not examined
1 folder

Thiel, J. C., dates not examined
1 folder

Thompson, Howard A., dates not examined
1 folder

Treviño Garcia, J., dates not examined
1 folder

Truesdell, C. A., dates not examined
1 folder

Turing, Alan, dates not examined
1 folder

Turing, E. Sarah, dates not examined
1 folder

Turquette, Atwell R., dates not examined
1 folder

U General, dates not examined
1 folder

Ushenko, A., dates not examined
1 folder

V General, dates not examined
1 folder

van Heerden, J., dates not examined
1 folder

van Heijenoort, John, dates not examined
1 folder

Varela, Jacobo A., dates not examined
1 folder

Vaught, R. L., dates not examined
1 folder

Veblen, Oswald, dates not examined
1 folder

von Mises, Hilda, dates not examined
1 folder

W General, dates not examined
1 folder

Wang, Hao, dates not examined
1 folder

Weingartner, Paul, dates not examined
1 folder

Weiss, Paul, dates not examined
1 folder

Wells, G. S., dates not examined
1 folder

Wells, Rulon S., dates not examined
1 folder

Wette, Edward, dates not examined
1 folder

Weyl, Hermann, dates not examined
1 folder

White, F. P., dates not examined
1 folder

Whyburn, W. M., dates not examined
1 folder

Wikler, Daniel, dates not examined
1 folder

Wilhelmy, Alexander, dates not examined
1 folder

X-Z General, dates not examined
1 folder

Zelëny, Michael, dates not examined
1 folder

Zorn, Max A., dates not examined
1 folder

Zubieta, Gonzalo, dates not examined
1 folder

Subseries 2B: Journal of Symbolic Logic Correspondence, 1935-1959
7 boxes

Received/Outgoing, 1935
1 folder

Received, 1936
1 folder

Received 1936 Baylis, C. A., 1936
1 folder

Received 1936 Curry, H. B., 1936
1 folder

Received 1936 Ducasse, C. J., 1936
1 folder

Received 1936 Fitch, Frederic B., 1936
1 folder

Received 1936 Langford, C. H., 1936
1 folder

Outgoing, 1936
1 folder

Received, 1937
1 folder

Outgoing, 1937
1 folder

Received, 1938
1 folder

Outgoing, 1938
1 folder

Received, 1939
1 folder

Outgoing, 1939
1 folder

Received, 1940
1 folder

Outgoing, 1940
1 folder

Received, 1941
1 folder

Outgoing, 1941
1 folder

Received, 1942
1 folder

Outgoing, 1942
1 folder

Received, 1943
1 folder

Outgoing, 1943
1 folder

Received, 1944
1 folder

Outgoing, 1944
1 folder

1945, 1945
1 folder

Correspondence, 1946
1 folder

Correspondence, 1947
1 folder

Correspondence, 1948
1 folder

Correspondence, 1949
1 folder

Correspondence, 1950
1 folder

Correspondence, 1951
1 folder

Correspondence, 1952
1 folder

Correspondence, 1953
1 folder

Correspondence, 1954
1 folder

Correspondence, 1955
1 folder

Correspondence, 1956
1 folder

JSL Correspondence A General, 1957-1959
1 folder

JSL Correspondence Anderson, Alan Ross, 1957-1959
1 folder

JSL Correspondence B General, 1957-1959
1 folder

JSL Correspondence Barlaz, Joshua, 1957-1959
1 folder

JSL Correspondence Borgers, Alfons, 1957-1959
1 folder

JSL Correspondence C General, 1957-1959
1 folder

JSL Correspondence D General, 1957-1959
1 folder

JSL Correspondence E General, 1957-1959
1 folder

JSL Correspondence F General, 1957-1959
1 folder

JSL Correspondence Fitch, Frederic B., 1957-1959
1 folder

JSL Correspondence G General, 1957-1959
1 folder

JSL Correspondence H General, 1957-1959
1 folder

JSL Correspondence Henkin, Leon, 1957-1959
1 folder

JSL Correspondence I-J General, 1957-1959
1 folder

JSL Correspondence K General, 1957-1959
1 folder

JSL Correspondence Kleene, S. C., 1957-1959
1 folder

JSL Correspondence L General, 1957-1959
1 folder

JSL Correspondence Lazerowitz, Alice, 1957-1959
1 folder

JSL Correspondence M General, 1957-1959
1 folder

JSL Correspondence Moore, Edward F., 1957-1959
1 folder

JSL Correspondence N-O General, 1957-1959
1 folder

JSL Correspondence P General, 1957-1959
1 folder

JSL Correspondence, 1958 Quine, W. V., 1958
1 folder

JSL Correspondence R General, 1957-1959
1 folder

JSL Correspondence S General, 1957-1959
1 folder

JSL Correspondence T-U General, 1957-1959
1 folder

JSL Correspondence V General, 1957-1959
1 folder

JSL Correspondence van Heijenoort. John, 1957-1959
1 folder

JSL Correspondence W General, 1957-1959
1 folder

JSL Correspondence X-Z General, 1957-1959
1 folder

Association for Symbolic Logic Correspondence, 1960
1 folder

Association for Symbolic Logic Correspondence, 1961
1 folder

Association for Symbolic Logic Correspondence, 1962
1 folder

Association for Symbolic Logic Correspondence, 1963
1 folder

Subseries 2C: Association for Symbolic Logic Correspondence, 1960-1979
1 box

Association for Symbolic Logic Correspondence, 1964
1 folder

Association for Symbolic Logic Correspondence, 1965
1 folder

Association for Symbolic Logic Correspondence, 1966
1 folder

Association for Symbolic Logic Correspondence, 1967
1 folder

Association for Symbolic Logic Correspondence, 1968
1 folder

Association for Symbolic Logic Correspondence, 1969
1 folder

Association for Symbolic Logic Correspondence, 1970
1 folder

Association for Symbolic Logic Correspondence, 1971
1 folder

Association for Symbolic Logic Correspondence, 1972-1973
1 folder

Association for Symbolic Logic Correspondence, 1974
1 folder

Association for Symbolic Logic Correspondence, 1975
1 folder

Association for Symbolic Logic Correspondence, 1976
1 folder

Association for Symbolic Logic Correspondence, 1977
1 folder

Association for Symbolic Logic Correspondence, 1978-1979
1 folder

Subseries 2D: Journal of Symbolic Logic Office Files, 1960-1979
7 boxes

A General, 1960-1970
1 folder

Allen, Layman, 1960-1967
1 folder

Anderson, Alan Ross, 1960-1973
1 folder

Andrews, Peter, 1965-1988
1 folder

Angelelli, I. A, 1965-1970
1 folder

Åqvist, Lennart, 1968-1969
1 folder

Asenjo, F. G, 1968-1990
1 folder

B General, 1961-1969
1 folder

Bacon, John, 1964-1967
1 folder

Bar-Hillel, Yehoshua, 1960-1973
1 folder

Barendregt, H. P, 1972-1976
1 folder

Barlaz, Joshua, 1960-1961
1 folder

Barwise, Jon, 1969-1978
1 folder

Bauer-Mengelberg, Stefan, 1962-1970
1 folder

Bayart, A, 1961-1968
1 folder

Baylis, Charles A, 1963-1971
1 folder

Bealer, George, 1974-1994
1 folder

Bečvář, Jiří, 1962-1977
1 folder

Belnap, Nuel D., Jr, 1961-1971
1 folder

Bennett, J. F, 1964-1976
1 folder

Berg, Jan, 1968
1 folder

Bernays, Paul, 1963-1979
1 folder

Blikle, Andrzej, 1963-1972
1 folder

Boh, Ivan, 1968-1976
1 folder

Bohnert, H, 1967-1974
1 folder

Boone, William, 1961-1982
1 folder

Borgers, Alfons, 1960-1970
1 folder

Borgers, Alfons, 1971-1977
1 folder

Bull, R. A, 1967-1969
1 folder

Butler, Ronald, 1960-1973
1 folder

C General, 1961-1973
1 folder

Castañeda, Hector-Neri, 1961-1964
1 folder

Collins, D. J, 1967-1968
1 folder

Cooper, D. C, 1965-1967
1 folder

Corcoran, John, 1975-1978
1 folder

Craig, William, 1964-1968, 1980-1981
1 folder

Curry, Haskell B, 1962-1982
1 folder

D General, 1963-1977
1 folder

Davis, Martin, 1967-1973
1 folder

Dawson, Edward E, 1965-1972
1 folder

Dempsey, Deborah, 1960-1961
1 folder

Dickson, Harald, 1967-1970
1 folder

Dreben, Burton, 1960-1969
1 folder

Duda, William L, 1972-1974
1 folder

Dumitriu, Anton, 1970-1972
1 folder

Dyson, Verena H, 1964-1968
1 folder

E General, 1963-1971
1 folder

Elgot, Calvin C, 1962-1971
1 folder

Enderton, Herbert B, 1968-1997
1 folder

F General, 1958-1984
1 folder

Feferman, Solomon, 1967-1969
1 folder

Fels, Eberhard M, 1962-1971
1 folder

Ferebee, Ann, 1972-1979
1 folder

Fitch, Frederic B, 1961-1975
1 folder

F⊘llesdal, Dagfinn, 1966-1980
1 folder

Fraisse, Roland, 1957-1973
1 folder

Frayne, Thomas E, 1961-1970
1 folder

Freudenthal, Hans, 1966-1974
1 folder

Fuhrken, Gebhard, 1965-1968
1 folder

G General, 1963-1974
1 folder

Gale, Richard, 1968-1975
1 folder

Gandy, R. O, 1966
1 folder

Gershuni, B, 1967-1969
1 folder

Germansky, B, 1960-1966
1 folder

H General, 1965-1973
1 folder

Hailperin, Theodore, 1960-1967
1 folder

Halpern, J. D, 1966
1 folder

Harrop, Ronald, 1961-1968
1 folder

Hasenjaeger, G, 1960-1977
1 folder

Hempel, Carl G, 1962-1967
1 folder

Henkin, Leon, 1960-1971
1 folder

Iséki, Kiyoshi, 1968-1974
1 folder

Itoh, Makoto, 1960
1 folder

J General, 1960-1969
1 folder

K General, 1965-1971
1 folder

Kalish, Donald, 1963-1994
1 folder

Kambartel, Friedrich, 1968-1970
1 folder

Kaplan, David, 1963-1973
1 folder

Karp, Carol, 1964-1968
1 folder

Kleene, S. C, 1958-1983
1 folder

Kline, George, 1957-1964
1 folder

Kneebone, G. T, 1978
1 folder

Kokoszynska-Lutman, Maria, 1963-1975
1 folder

Kreider, Donald L, 1964-1992
1 folder

Kreisel, Georg, 1960-1973
1 folder

L General, 1964-1979
1 folder

Ladrière, Jean, 1963-1971
1 folder

Lascar, Daniel, 1980-1998
1 folder

Lazerowitz, Alice A, 1960-1971
1 folder

Leaf, Mrs, 1974-1975
1 folder

Leblanc, Hughes, 1960-1990
1 folder

Lejewski, Czestaw, 1965-1980
1 folder

Lercher, Bruce, 1964-1971
1 folder

Levy, Azriel, 1960-1968
1 folder

Luckham, David, 1966-1971
1 folder

Luschei, Eugene, 1960-1974
1 folder

M General: 1945 bulk 1962-1973, 1945 (mostly 1962-1973)
1 folder

Martin, R. M, 1963-1967
1 folder

Massey, Gerald J, 1964-1973
1 folder

Mates, Benson, 1964-1969
1 folder

Mayoh, B.H., 1966-1969
1 folder

McNaughton, Robert, 1962-1976
1 folder

Mennicke, Jens L, 1966-1967
1 folder

Mihailescu, Eugen, 1965-1970
1 folder

Miller, David, 1969-1971
1 folder

Monk, Donald, 1965-1975
1 folder

Montague, Richard, 1960-1971
1 folder

Moore, Edward F, 1961-1963
1 folder

Moschovakis, Yiannis and Joan, 1965-1975
1 folder

Mostowski, Andrzej, 1957-1973
1 folder

Mott, Thomas, 1960-1970
1 folder

Müller, Gert H, 1962-1973
1 folder

Myhill, John, 1967-1980
1 folder

N General, 1960-1971
1 folder

O General, 1957-1994
1 folder

P General, 1963-1971
1 folder

Parsons, Charles D, 1964-1974
1 folder

Péter, Rózsa, 1965-1970
1 folder

Pierce, R.S., 1965-1967
1 folder

Platek, Richard, 1968-1972
1 folder

Pogorzelski, Witold A, 1963-1968
1 folder

Pour-El, Marian Boykan, 1964-1971
1 folder

Prawitz, Dag, 1969-1975
1 folder

Prior, Arthur N, 1952-1969
1 folder

Putnam, Hilary, 1957-1979
1 folder

Quine, W.V., 1960-1997
1 folder

R General, 1956-1979
1 folder

Rabin, Michael, 1960-1977
1 folder

Rand, Rose, 1960-1967
1 folder

Reichbach, Juliusz, 1960-1969
1 folder

Robinson, Abraham, 1960-1969
1 folder

Robinson, Julia, 1960-1985
1 folder

Robinson, T. Thacher, 1961-1966
1 folder

Rosser, J. Barkley, 1960-1983
1 folder

Sa-Sh General, 1965-1974
1 folder

Si-Sz General, 1960-1978
1 folder

Sánchez-Mazas, Miguel, 1970-1972
1 folder

Schock, Rolf, 1963-1982
1 folder

Scott, Dana, 1963-1967
1 folder

Segerberger, Krister, 1967-1976
1 folder

Shamir, Eliahu, 1968-1970
1 folder

Shepherdson, J. C, 1960-1968
1 folder

Shoenfield, Joseph R, 1968-1976
1 folder

Simpson, Thomas M, 1967-1973
1 folder

Slupecki, Jerzy, 1968-1971
1 folder

Staal, Frits, 1966-1967
1 folder

Stahl, Gerold, 1964-1974
1 folder

Stanley, Robert, 1968-1973
1 folder

Stegmüller, Wolfgang, 1960-1970
1 folder

Ta-Th General, 1960-1971
1 folder

Ti-Tz General, 1960-1988
1 folder

Tarski, Alfred, 1961-1971
1 folder

Turing, E. Sara, 1960-1971
1 folder

Turquette, Atwell R, 1960-1967
1 folder

Umezawa, T, 1968
1 folder

V General, 1964-1986
1 folder

van Heinjenoort, John, 1952-1978
1 folder

Vaught, R. L, 1965-1968
1 folder

Vuckovic, V, 1963-1968
1 folder

W General, 1961-1975
1 folder

Wells, B. F., III, 1964-1966
1 folder

X-Z General, 1969-1983
1 folder

Yasugi, Mariko, 1966-1968
1 folder

Yates, C. E. M, 1965-1971
1 folder

Yesenin-Volpin, A. S, 1973-1975
1 folder

Yourgrau, Wolfgang, 1960-1969
1 folder

JSL Reviews, Papers and Correspondence 1965 A. Church, R. Péter, F. Schwenkel, and V. Vuckovic, 1965
1 folder

Journal of Symbolic Logic: Budget, undated
1 folder

Journal of Symbolic Logic: Consulting Editors, undated
1 folder

Journal of Symbolic Logic: Form Letters, undated
1 folder

Journal of Symbolic Logic: Letters recommending reviewers, undated
1 folder

Journal of Symbolic Logic: Personnel, undated
1 folder

Journal of Symbolic Logic: Reprint Rights, undated
1 folder

Journal of Symbolic Logic: Surveys, undated
1 folder

Subseries 2E: Miscellaneous Correspondence by Subject, 1942-1990
2 boxes

Correspondence relating to 1946 Princeton University Bicentennial Conference on Problems of Mathematics, 1946
1 folder

Correspondence relating to 1990 University of Buffalo (NY) Symposium in Honor of Alonzo Church, 1990
1 folder

Correspondence relating to Symposia, Congresses and Lectures, including travel arrangements: A-L, dates not examined
1 folder

Correspondence relating to Symposia, Congresses and Lectures, including travel arrangements: M-Z, dates not examined
1 folder

Correspondence, including travel arrangements: International Congress of Mathematicians, Moscow, 1966
1 folder

Correspondence, including travel arrangements: International Congress of Mathematicians, Stockholm, 1962
1 folder

Correspondence, including travel arrangements: ASL, Leeds 1962; Colloquium in Tihany, Hungary, 1962
1 folder

Letters of Recommendation & Evaluation (Advisory Correspondence): A-L, dates not examined
1 folder

Letters of Recommendation & Evaluation (Advisory Correspondence): M-Z, dates not examined
1 folder

Letters of Recommendation & Evaluation (Advisory Correspondence): multiple names, dates not examined
1 folder

Drafts of academic letters to multiple correspondents, 1942-1969
1 folder

Correspondence 1970-1972 relating to Angela Davis controversy at UCLA, 1970-1972
1 folder

Requests for offprints of Church's papers, dates not examined
1 folder

Family correspondence, dates not examined
1 folder

Non-academic, personal correspondence, dates not examined
1 folder

Financial-related correspondence, dates not examined
1 folder

Correspondence relating to Grand Bahama Island property, dates not examined
1 folder

Letters to/from unidentified correspondents, dates not examined
1 folder

Letters removed from his books, undated
1 folder

Series 3: Notebooks and Notes, 1924-1999
15 boxes
Description:

This series consists of Church's notes beginning with an undergraduate course at Princeton University in 1924 to his extensive research notes (many of which were removed from their original 3-ring binder notebooks), notes compiled by students from Church's course lectures at Princeton University and UCLA, and miscellaneous, loose notes, both dated and undated, through the years. The organization of this series follows and retains, wherever possible, Church's own subject filing system, including his original folder title and order. *Also includes loose notes removed from Church's books in his personal library.

This series is arranged into seven subseries: Princeton University Courses, Miscellaneous Notebooks, Notebooks, Differential Equations, Set Theory, UCLA Courses, and UCLA Courses and Miscellaneous Dated Notes.

Subseries 3A: Princeton University Courses, Miscellaneous Notebooks, 1924-1972 June
1 box

Mathematics 304 (79 pp., ), 1924 June 6
1 folder

Notes (unfinished), of a course by J.W. Alexander in, 1924-1925
1 folder

Modern Elementary Geometry, dates not examined
1 folder

Topics in Coordinate Geometry & Calculus, dates not examined
1 folder

Proposed Outline of Material for Math. 109-110 (exercise book); Chapter I Functions and Their Graphs (exercise book), undated
1 folder

"The Foundations of Mathematics." Lectures by A. Church, Princeton 1943 Chapters IV, V (notes by C. Truesdell), with Church's annotations and 1946 July notes, 1943
1 folder

"The Foundations of Mathematics." Lectures by A. Church. Chapter VI (notes by C. Truesdell), with Church's annotations and 1946 July notes, 1946 July
1 folder

Black bound notebook: Graphs, Equations, Tables, etc., undated
1 folder

Notebook: Model of system for Alternative 2, May 1960 - 1971 April "A Formulation of the Logic of Sense and Denotation": New Attempt at revision, 1971 May 1-1972 June, 1960 May 2-1971 April, 1971 May 1-1972 June
1 folder

Notebook: Outline of and Notes for lecture delivered at Brussels on 1962 September 3 and notes afterwards, 1962 September 3
1 folder

Subseries 3B: Notebooks, 1965 December-1967 July
1 box

Notebook, 1965 December-1966 August
1 folder

Notebook: Formulas for various transformations and the like; Moscow Congress Outline [1966]; addenda dated May and November 1967, 1966
1 folder

Notebook, 1967 February
1 folder

Notebook, 1966 April-1967 February
1 folder

Notebook: m transformations, 1967 March-July
1 folder

Subseries 3C: Differential Equations, 1967 August-1975 November
6 boxes

Differential equations notebook: Extensions of generalized Laplace's transformation, 1967 August-1968 February
1 folder

Differential equations notebook, 1968 February-1970 March
1 folder

Differential equations notebook, 1968 May-June
1 folder

Differential equations notebook: Linear Coherent Triples, 1968 June-1969 May
1 folder

Differential equations notebook, 1970 April-July
1 folder

Differential equations notebook: Laplace's Transformation in 3 Independent Variables, 1970 August-December
1 folder

Differential equations notebook: 1970 July-November (with 1975 November addendum), 1970 July-November
1 folder

Differential equations notebook, dates not examined
1 folder

Differential equations notebook, dates not examined
1 folder

Differential equations notebook, dates not examined
1 folder

Differential equations notebook, dates not examined
1 folder

Differential equations notebook: A Table of Solutions of Differential Equations by Alonzo Church; Differential equations notebook: Treatment of Key Equations, dates not examined
1 folder

Differential equations notebook: Riccati Equation; 2nd Order Equations, dates not examined
1 folder

Differential equations notebook: Partial differential equations, dates not examined
1 folder

Differential equations notebook: Key Equations, dates not examined
1 folder

Differential equations notebook: Generalized Intermediate Integral, dates not examined
1 folder

Differential equations notebook: "Trying once more for transformations of the differential equation", dates not examined
1 folder

Differential equations notebook, dates not examined
1 folder

Differential equations notebook: Key Equations, dates not examined
1 folder

Differential equations notebook: "Miscellaneous old notes about differential equations, mostly of little or no value", dates not examined
1 folder

Differential equations notebook: Search for key equations; Digression, dates not examined
1 folder

Differential equations notebook: "Digression"; "Blue ink", dates not examined
1 folder

Notebook: Abel's equation; Attempted Transformations to Riccati equations, dates not examined
1 folder

Differential equations notebook: Developments from 1.9; Riccati Analogues, dates not examined
1 folder

Differential equations notebook, dates not examined
1 folder

Notebook: Linear Partial Differential Equations - Reductions, dates not examined
1 folder

Notebook: First order equations, Second and Third order linear equations, etc., dates not examined
1 folder

Differential equations notebook, dates not examined
1 folder

Differential equations notebook: Second order equations, dates not examined
1 folder

Differential equations notebook, dates not examined
1 folder

Differential equations notebook, dates not examined
1 folder

Notebook: Partial differential equations, etc., dates not examined
1 folder

Notebook: Monge-Ampère & related equations, dates not examined
1 folder

Small box containing index cards of Church's notes about various equations, undated
1 box

Subseries 3D: Set Theory, 1950-1989
3 boxes

Notebook, 1970 December 31-1971 September
1 folder

Notebook: Set theory old notes, 1971 August-October
1 folder

Exercise book with notes on set theories from 1950s, 1972 February addendum, 1950s
1 folder

Notebook: 1972 June "Towards revision of "A Formulation of the Logic of Sense and Denotation", 1972 June
1 folder

Notebook: 1973 December-1974 July includes 1974 Summer Notes on Extensions of Set Theory, 1973 December-1974 July, 1974 Summer
1 folder

Notebook: 1974 August-September with 1980 July addendum, 1974 August-September
1 folder

Notebook, part 1: Towards combining the Quine set theory with the basic axioms, 1975 June
1 folder

Notebook, part 2: Towards combining the Quine set theory with the basic axioms, 1975 June-1976 August
1 folder

Notebook, 1975 July-1977 December
1 folder

Notebook: 1975 September "Sets of the Model Transfinitely Generated"; Notes prepared for the Illinois lectures, Notebook: 1975 September and some associated correspondence, 1975 September
1 folder

Notebook: 1975 December-1976 July "Continuing the typed and dittoed notes "Outline and Background Material, Arthur B. Coble Memorial Lectures", 1975 December-1976 July
1 folder

Notebook: 1976 January-March Reserve duplicate pages, 1976 January-March
1 folder

Notebook, 1976 December-1978 January
1 folder

Notebook, 1977 January-December
1 folder

Little notebook, 1977 May
1 folder

Notebook, 1978 July-1979 January
1 folder

Notebook, 1979 June-September
1 folder

Notebook: Set Theory Notes 1979 December and later (superseded pages preserved for reference), 1979 December
1 folder

Notebook: Recursion clauses for inv m as revised 1980 September Proof of the Main Lemma, cont, 1980 September
1 folder

Notebook, 1981 March-December
1 folder

Set Theory notes, 1981 January-December ("mostly secondary"), 1981 January-December
1 folder

Lecture notes, 1974 fall (Set Theory with a Universal Set). Church's note: "Probably not of much value - but possibly worth some reflection", 1974 fall
1 folder

Set Theory material and notes, 1975-1983 January
1 folder

Set Theory Notes as of 1983 June "incomplete set of originals", 1983 June
1 folder

Set Theory Notes 1981-1983 June "Third copy, nearly complete", 1981-1983 June
1 folder

Set Theory notes, 1983 September "To go back to L.A. 1984 January" and "Left in G.B. 1984 January Second and third copies of these set-theory notes, plus assorted left-over pages, plus some older set theory notes", 1983 September
1 folder

"Notes as to Set Theory with a Universal Set. Check completeness. Brought back from G.B. [Grand Bahama] 1989 These notes are old 1971 but might be reconsidered for the sake of some truth in it, which might guide a new approach." (photocopies); Ajdukiewicz's Paradox of the Name Relation, 1989, 1971
1 folder

Subseries 3E: UCLA Courses, 1970 July-1983
1 box

UCLA Philosophy 127A: Lecture notes and original manuscript on "Semantics of language L", undated
1 folder

UCLA Philosophy 127B, 1973 Spring Philosophy of Language Notes of Kaplan's lectures, 1973 Spring
1 folder

UCLA Philosophy 127A/127B, 1976 Fall-1977 Notes, 1976 Fall-1977
1 folder

UCLA Philosophy 127B: Notes and readings, undated
1 folder

UCLA Philosophy 128A, 1975 February-1980 Winter Notes, 1975 February-1980 December
1 folder

UCLA Philosophy 128B: Notes 1972, 1980, 1983 (Heyting, Non-negative real numbers, Ramified type theory, etc.), 1972, 1980, 1983
1 folder

UCLA Philosophy 221B, 1977 Spring Set Theory Seminar Notes (85 pp.), 1977 Spring
1 folder

UCLA Philosophy 222, 1970 Fall Notes, 1970 Fall
1 folder

UCLA Philosophy 222B, 1972 Spring Notes, 1972 Spring
1 folder

UCLA Philosophy 222C 1974 Spring Notes on Rosser's Theorem (36 pp.), 1974 Spring
1 folder

UCLA Philosophy 222C, 1976 Spring Notes (57 pp.), 1976 Spring
1 folder

UCLA Philosophy 230, 1978 Winter-1979 Spring Open Problems in Fregean Logic Notes (75 pp.), 1978 Winter-1979 Spring
1 folder

UCLA Philosophy 230, 1979 Spring Open Problems in Fregean Logic Notes, 1979 Spring
1 folder

UCLA Philosophy 231, 1977 Winter Open Problems in Russellian and Fregean Logic Notes (70 pp.), 1977 Winter
1 folder

Notes for UCLA course on "Open Problems", 1973 Fall, 1978 Winter, 1979 Fall
1 folder

Subseries 3F: UCLA Courses and Miscellaneous Dated Notes, 1952-1999
1 box

UCLA Philosophy 261 Open Problems course: 1968 April-November class notes (mimeographs with some annotations by Church), 1968 April-November
1 folder

Church's UCLA class lecture notes regarding Gödel Incompleteness Theorems and Tarski's Theorem about Truth, undated
1 folder

Notes for course given 1979 January-March (43 pp., incomplete), 1979 January-March
1 folder

Notes about sense and denotation, logic of belief, circuits ( 1952 and undated), 1952
1 folder

Notes by J. Guard 1958 and Alonzo Church 1959, 1958, 1959
1 folder

Misc. Notes ( 1960s and 1970s), 1960s, 1970s
1 folder

Notes prepared for lectures in Uppsala, Sweden, 1976 March (4 pp.), 1976 March
1 folder

Notes (4 pp.) for lecture in Finland, 1976. Shortened version of Urbana, Illinois lectures, "Set Theory on a Universal Set," at Abo Akademi in Turku, Finland, 1976 March 22
1 folder

Misc. Notes 1980s including "Corollaries of the Proof of P1, and other theorems about the model" (12 pp., 1982 December), 1980s
1 folder

Notes 1980s including "Axioms for Strong in Simple Type Theory" and "Russell's Antimony about Propositions"; also "The Principle of Individuation for Propositions in the Logic of Principia Mathematica" (abstract of lecture at the University of Wisconsin, 1980 May 2 2 pp.), "Ramified Type Theory with Extensional Types" 1981 February and "Axioms for Russell's Theory of Identity of Propositions" (incomplete photocopy, 1984 May, 1980s
1 folder

Notes 1984-1985 relating to "Intensionality and the Paradox of the Name Relation," "Russell's Theory of Identity of Propositions" and work by C. Anthony Anderson, 1984-1985
1 folder

Notes 1985 June-July and readings on sense and denotation, 1985 June-July
1 folder

Notes 1986 January placed in rough-draft notebook, 1986 January
1 folder

Notes towards revision of the treatment of Alternative (0). First draft, 1974 December Includes addenda dated 1978 March and 1986 August, 1974 December
1 folder

Notes 1986 July Refers to previous folder, 1986 July
1 folder

Notes 1986 July-September from preliminary (working) notebook: "A Revised Formulation of the Logic of Sense and Denotation under Alternative (0)", 1986 July-September
1 folder

Notes ( 1980s and 1990s), 1980s, 1990s
1 folder

Notes of 1987 December (photocopies, "to work on them June '88"), 1987 December
1 folder

Subseries 3G: Miscellaneous Undated Notes, 1928
2 boxes

"Extracts from Goursat" and "Extracts from Gau and Goursat": 2 Princeton University exercise books removed from a folder labeled "Differential Equations", dates not examined
1 folder

Notes (undated) regarding Formation Rules, Semantical Rules, etc., dates not examined
1 folder

Notes: "Postulates for Arithmetic," Discussion of the Axiom of Infinity," "Proof of the Induction Postulate," "Non-Negative Real Numbers," "Ramified Type Theory," etc. (some original pages and 1 photocopy, 17 pp.), dates not examined
1 folder

Notes (undated) titled "Proof of P1" (1 p.), "The sum set axiom" (10 pp.), and "P6" (4 pp.), dates not examined
1 folder

Notes relating to Kazimierz Ajdukiewicz's work, including "A Formalized Language Suited for Ajdukiewicz's Resolution of the Paradox of the Name Relation" (photocopied, 7 pp.), dates not examined
1 folder

Notes in Latin (undated), dates not examined
1 folder

Notes (undated, 28 pp.) and other misc. notes, dates not examined
1 folder

Notepad of notes, dates not examined
1 folder

Misc. loose notes (undated), dates not examined
1 folder

Misc. loose notes (undated), dates not examined
1 folder

Misc. loose notes (undated), dates not examined
1 folder

Notes by Church re. to whom his papers were sent, dates not examined
1 folder

Notes by Church folded in Church's copy of Coordinate Geometry by Luther Eisenhart, dates not examined
1 folder

Notes by Church folded in Church's copy of A Course in Mathematical Analysis by Edouard Goursat, dates not examined
1 folder

Notes by Church folded in Church's copy of Principles of Mathematical Logic by D. Hilbert and W. Ackermann, undated
1 folder

Notes by Church folded in Church's copy of Functions of Real Variables by E. J. Townsend ( 1928 edition), 1928
1 folder

Notes by Church removed from his books, undated
1 folder

Address File, undated
1 box

Series 4: Subject Files, 1924-1990
10 boxes
Description:

This series consists of Church's academic and administrative files at Princeton University and UCLA, organizations such as the National Academy of Sciences (to which he was elected in 1978) and National Science Foundation, as well as his editorial and subject files pertaining to his consulting work with various encyclopedia and dictionaries, academic and research topics, etc. A small amount of personal, family-related, and financial material is filed at the end of this series.

This series is arranged into nine subseries: Academic Institutions: Priceton University, Academic Institutions: Princeton University (cont.) and UCLA, Academic Topics from Church's Files, Encyclopaedia Britannica, etc., Journal of Symbolic Logic, Miscellaneous Printed Materials, National Academy of Sciences, National Research Council, National Science Foundation, National Science Foundation, Publications, and Publications (cont.) and Personal.

Subseries 4A: Academic Institutions: Princeton University, 1931-1963
1 box

Princeton University Comprehensive Examinations, 1931-1963
1 folder

Princeton University Examinations in Mathematics, 1942-1953
1 folder

Princeton University Examinations in Mathematics, 1936-1941
1 folder

Princeton University Examination questions; Unused examinations, undated
1 folder

Princeton University Exercises in undergraduate logic (Mathematics 320, 1952 February 20-March 5
1 folder

Princeton University General examinations for Ph.D.; Outlines of topics, 1951
1 folder

Princeton University Math Dept. Minutes, circa 1932-1947
1 folder

Princeton University Math Dept. Minutes, 1948-1956
1 folder

Princeton University Business — Personal, undated
1 folder

Princeton University Research Committee, 1945-1946
1 folder

Subseries 4B: Academic Institutions: Princeton University (cont.) and UCLA, 1959-1990
1 box

Princeton University Inter-Academic Business, undated
1 folder

Princeton University misc. printed materials, dates not examined
1 folder

Correspondence ( 1959-1961, 1967) from UCLA and Princeton University regarding Alonzo Church's services, 1959-1961, 1967
1 folder

UCLA Philosophy Department business, dates not examined
1 folder

UCLA General Correspondence, dates not examined
1 folder

UCLA Employment and Salary information, dates not examined
1 folder

UCLA Student Correspondence, undated
1 folder

UCLA Course Reading Lists, dates not examined
1 folder

UCLA Tests and Final Exams, 1968-1990
1 folder

UCLA Student Grade reports and exams, undated
1 folder

UCLA Student grade note cards and misc. notes, undated
1 folder

Subseries 4C: Academic Topics from Church's Files, 1958
1 box

"An Unsolvable Problem of Elementary Number Theory", notes, etc. by Barkley Rosser, S. C. Kleene, dates not examined
1 folder

Conditioned Disjunction, dates not examined
1 folder

Electric Circuits and Boolean algebra (or propositional calculus), undated
1 folder

Excluded Middle, dates not examined
1 folder

Function Equations, dates not examined
1 folder

Impredicative definition, dates not examined
1 folder

Intuitionism, Logicism, Proof Theory (Philosophy 128A, 128B course materials), dates not examined
1 folder

Knots, undated
1 folder

Miminal Logic, dates not examined
1 folder

Non-Normal Truth Tables (includes 1958 letter by Antonio Monteiro); [Paco] Lagerstrom notes, 1958
1 folder

Ordinal numbers - lambda-definability, dates not examined
1 folder

Quine Set Theory, dates not examined
1 folder

Real [?] (4 graph sheets with notes), dates not examined
1 folder

Russell [, Bertrand], historical, dates not examined
1 folder

Russell [, Bertrand]: Proposed Revisions of P.M. [ Principia Mathematica], dates not examined
1 folder

Sense and Denotation, dates not examined
1 folder

Set Theory (research and readings), dates not examined
1 folder

Tensor Analysis; General relativity; Differential Equations, dates not examined
1 folder

Theorems on Reduction Sequences, dates not examined
1 folder

Transfinite Type Theory, undated
1 folder

Turing machines - Word problem, undated
1 folder

Subseries 4D: Encyclopaedia Britannica, etc., 1954-1971
1 box

Dictionary of Symbols of Mathematical Logic (edited by Robert Feys and Frederic B. Fitch): mimeographed draft of book, dates not examined
1 folder

Dictionary of Symbols of Mathematical Logic: AMs and TMs(carbon) of Church's editorial corrections and revisions, dates not examined
1 folder

Encyclopaedia Britannica: Published articles by Church. They include: "Axiom"; "Categorical"; "Concrete (in Philosophy)"; "Connotation"; "Conversion (in Logic and Mathematics)"; "Corollary"; "Definition"; "Denotation"; "Dilemma"; "Logic, History of"; "Mathematical Induction"; "Name (in Logic)"; "Postulate"; "Proposition"; "Sorites"; "Tautology"; "Term"; "Thought, Laws of.", dates not examined
1 folder

Encyclopaedia Britannica: Article drafts and notes by Church. Includes AL drafts and AMs and TMs(carbon) drafts of various articles, undated
1 folder

Encyclopaedia Britannica: Article drafts by multiple authors, including John Kemeny, Rev. Philotheus Boehner, Benson Mates, and Daniel Ingalls (with autograph corrections by Church), undated
1 folder

Encyclopaedia Britannica: Correspondence with multiple authors, 1954 Correspondents include John Dodge and Walter Yust of Encyclopaedia Britannica to Alfred Tarski, Benson Mates, J. Bonfante, S. C. Kleene, R. Carnap, etc., 1954
1 folder

Encyclopaedia Britannica: Correspondence and article revisions by S. C. Kleene, 1954-1955
1 folder

Encyclopaedia Britannica: Correspondence and article revisions, 1954-1956
1 folder

Encyclopaedia Britannica: Correspondence, 1956-1957
1 folder

Encyclopaedia Britannica: Correspondence and article revisions, 1961-1971
1 folder

World Scope Encyclopedia: Correspondence and article drafts by Church ("Bertrand Russell" and "Alfred North Whitehead"), undated
1 folder

Subseries 4E: Journal of Symbolic Logic, Miscellaneous Printed Materials, 1937-1941
1 box

Journal of Symbolic Logic: Indexes (vol. 45 and queries about subject index), dates not examined
1 folder

Journal of Symbolic Logic: Lists of review copies in foreign languages, dates not examined
1 folder

Journal of Symbolic Logic: Reviews by Alonzo Church (drafts, proofs, etc.), dates not examined
1 folder

Journal of Symbolic Logic: Galley proof corrections for Volume 41 Number 4, dates not examined
1 folder

Journal of Symbolic Logic: Miscellaneous Reviews and Abstracts, dates not examined
1 folder

Journal of Symbolic Logic: Miscellaneous Notes for Reviews, dates not examined
1 folder

Journal of Symbolic Logic: Reviewers and Reviewer's Instructions, dates not examined
1 folder

Journal of Symbolic Logic: Subject note cards and misc. notes, dates not examined
1 folder

Journal of Symbolic Logic: Symbols, dates not examined
1 folder

Journal of Symbolic Logic: Vacation, dates not examined
1 folder

Printer Samples, dates not examined
1 folder

Misc. printed materials (French), undated
1 folder

Misc. printed materials (Spanish, German and Italian), dates not examined
1 folder

Misc. printed materials (including 1937 and 1941 Actuarial Exams), 1937, 1941
1 folder

Misc. printed materials, undated
1 folder

Misc. printed materials, undated
1 folder

Subseries 4F: National Academy of Sciences, National Research Council, National Science Foundation, 1948-1978
1 box

National Academy of Sciences: Constitution and Bylaws and Proceedings information, undated
1 folder

National Academy of Sciences: Correspondence and proposals for nomination, dates not examined
1 folder

National Academy of Sciences: Correspondence relating to Church's 1978 election, 1978
1 folder

National Research Fellowships; National Research Council (printed materials), undated
1 folder

National Science Foundation (NSF) grants: General information and correspondence, dates not examined
1 folder

National Science Foundation Research Projects, 1948-1955
1 folder

National Science Foundation Reports, undated
1 folder

National Science Foundation/American Mathematical Society Monthly Reports, 1965-1970
1 folder

National Science Foundation-U.S. Steel grant for JSL vol. 26 index, 1962
1 folder

NSF-GP-4107, -2428, -239, 19715 (Church's personal grants, ), 1959-1965
1 folder

NSF-GN-429 Association for Symbolic Logic grant for, 1965
1 folder

NSF-GP-5621 (Church's personal grant, ), 1965-1967
1 folder

Subseries 4G: National Science Foundation, 1960-1973
1 box

NSF Journal of Symbolic Logic "Backlog" Project, 1964-1967
1 folder

NSF-GN-280 Backlog grant, 1964-1967
1 folder

NSF-GN-280 Backlog grant (renewal, ), 1967-1971
1 folder

NSF Proposed combining of "Backlog" and "Current" grants beginning, 1968-1969
1 folder

NSF-GN-472 Current grant, 1965-1969
1 folder

NSF-GN-472 Current grant (renewal), undated
1 folder

NSF Grant proposals by Alonzo Church. Includes Research Proposal titled "Mathematical Logic, and Applications of Logic in Mathematics and Philosophy," 1973 and AMs draft of untitled proposal undated, 1973
1 folder

Evaluation of NSF Proposals plus correspondence, 1960-1966
1 folder

Subseries 4H: Publications, 1939 April-1965 August
2 boxes

Computing Machinery (assorted publications), dates not examined
1 folder

Economics (assorted publications), dates not examined
1 folder

Education (assorted publications), dates not examined
1 folder

Mathematics A-M (assorted publications), dates not examined
1 folder

Mathematics N-Z (assorted publications), dates not examined
1 folder

Philosophy A-M (assorted publications), dates not examined
1 folder

Philosophy N-Z (assorted publications), dates not examined
1 folder

Physics (assorted publications), dates not examined
1 folder

Psychiatry/Psychology (assorted publications), undated
1 folder

Sociology (assorted publications), undated
1 folder

Archive for History of Exact Sciences, Vol. 1, No. 1 ( 1960 printed journal), 1960
1 folder

Proceedings of the National Academy of Sciences, Vol. 25, 1939 April No. 4, 1939 April
1 folder

Association for Symbolic Logic Annual Meeting, Atlantic City, NJ, 1961 December
1 folder

"Advanced Theory of the Logical Design of Digital Computers": Notes received at the University of Michigan in, 1959 July
1 folder

"Foundations of Mathematics" Colloquium, Tihany, 1962
1 folder

International Congress for Logic, Methodology and Philosophy of Science, Stanford, CA, 1960
1 folder

"Logic Computability and Automata" Symposium, Oriskany, New York, 1965 August
1 folder

Summer Institute in Logic, Cornell University, 1957 July-August
1 folder

Subseries 4I: Publications (cont.) and Personal, 1924-1984 May 17
1 box

Lecture Notes prepared in Connection with the Summer Institute on Axiomatic Set Theory, UCLA, 1967
1 folder

Tarski Symposium, Berkeley, CA, 1971 June (abstracts), 1971 June
1 folder

Photographs of Alonzo Church, undated
1 folder

"The Princeton Mathematics Community in the 1930s An Oral History Project." Interview with Alonzo Church on 1984 May 17 by William Aspray, 1930s
1 folder

Alonzo Church's Princeton Class of 1924 file (including mentions in magazines), 1924
1 folder

Alonzo Church's Diplomas, Awards and Honors, dates not examined
1 folder

Alonzo Church's "Who's Who" forms, dates not examined
1 folder

Alonzo Church's Family Genealogy Research (Church, Peticolas families), correspondence, "Parker Heirs Press" newsletters, undated
1 folder

Alonzo Church's Will (partial draft in pencil, missing p. 1), undated
1 folder

Series 5: Papers of Others, 1948 September 29
21 boxes
Description:

This series consists of reprints of papers filed alphabetically by the author's name. They include doctoral dissertations by Church's students, manuscript drafts, and articles photocopied from journals and books, some of which were compiled by, or sent to, Church for his own research and/or for potential review in the Journal of Symbolic Logic. Original cover letters were kept with the papers whenever possible, as well as correspondence and comments by Church.

Arranged alphabetically by author.

Abian, Smbat, dates not examined
1 folder

Adams, Joe K., dates not examined
1 folder

Adams, Robert, dates not examined
1 folder

Ajdukiewicz, Kazimierz (photocopies only), dates not examined
1 folder

Allen, Layman E., dates not examined
1 folder

Almog, J., dates not examined
1 folder

Anderson, Alan Ross and Belnap, Nuel D., Jr., dates not examined
1 folder

Anderson, C. Anthony (includes correspondence), dates not examined
1 folder

Anderson, C. Anthony, dates not examined
1 folder

Anderson, C. Anthony, dates not examined
1 folder

Andrews, Peter B., dates not examined
1 folder

Arbab, Bijan (includes comments by Church), dates not examined
1 folder

Artin, Emil, dates not examined
1 folder

Ashenhurst, R. L., dates not examined
1 folder

Aumann, Georg, dates not examined
1 folder

Bachmann, Friedrich, dates not examined
1 folder

Bahm, Archie J., dates not examined
1 folder

Barbosa, Jorge, dates not examined
1 folder

Bar-Hillel, Yehoshua, dates not examined
1 folder

Bausch, A. F., dates not examined
1 folder

Bealer, George, dates not examined
1 folder

Behmann, Heinrich, dates not examined
1 folder

Belnap, Nuel D., Jr., dates not examined
1 folder

Bennett, David W. (includes comments by Church), dates not examined
1 folder

Berke, Peter, dates not examined
1 folder

Berkowitz, Morris, dates not examined
1 folder

Bernays, Paul, dates not examined
1 folder

Birkhoff, Garrett, dates not examined
1 folder

Bochenski, J. M., dates not examined
1 folder

Boone, William, dates not examined
1 folder

Brouwer, L. E. J. (includes review note by Church), dates not examined
1 folder

Brown, Donald (includes correspondence), dates not examined
1 folder

Brown, Donald (includes correspondence), dates not examined
1 folder

Buchi, J. Richard, dates not examined
1 folder

Burgatti, Pietro, dates not examined
1 folder

Burge, Tyler, dates not examined
1 folder

Burge, Tyler (includes correspondence), dates not examined
1 folder

Burge, Tyler (includes correspondence), dates not examined
1 folder

Burge, Tyler, dates not examined
1 folder

Burks, Arthur W., Goldstine, Herman H., and von Neumann, John, dates not examined
1 folder

Carnap, Rudolf, dates not examined
1 folder

Carr, John W., dates not examined
1 folder

Cartwright, Richard L., dates not examined
1 folder

Casteneda, Hector Neri, dates not examined
1 folder

Cervinka, Vladimir, dates not examined
1 folder

Chaitin, Gregory, dates not examined
1 folder

Chaitin, Gregory, dates not examined
1 folder

Chauvin, Andre, dates not examined
1 folder

Cocchiarella, Nino B., dates not examined
1 folder

Coffa, J. Alberto, dates not examined
1 folder

Cohen, Paul J., dates not examined
1 folder

Copi, Irving et al., dates not examined
1 folder

Corcoran, John, dates not examined
1 folder

Craig, William, dates not examined
1 folder

Cummins, Robert and Gottlieb, Dale, dates not examined
1 folder

Curry, H. B., dates not examined
1 folder

Cusmariu, Arnold, dates not examined
1 folder

Dao, Paolo, dates not examined
1 folder

Davidson, Donald, dates not examined
1 folder

Davis, Martin, dates not examined
1 folder

Day, Steven M. (includes comments by Church), dates not examined
1 folder

De Bruijn, N. G., dates not examined
1 folder

DeSua, Frank, dates not examined
1 folder

Deutsch, Harry, dates not examined
1 folder

Dirac, P. A. M., dates not examined
1 folder

Donnellan, Keith S., dates not examined
1 folder

Dreben, Burton S., dates not examined
1 folder

Dunham, B. and North, J. H., dates not examined
1 folder

Easton, William B., dates not examined
1 folder

Elgot, Calvin, dates not examined
1 folder

Ellis, Brian, dates not examined
1 folder

Enderton, H. B., dates not examined
1 folder

Etchemendy, John, dates not examined
1 folder

Epstein, Richard L. and Carnielli, Walter A., dates not examined
1 folder

Epstein, Richard L. and Carnielli, Walter A., dates not examined
1 folder

Feferman, Solomon, dates not examined
1 folder

Feibleman, James K., dates not examined
1 folder

Feibleman, James K., dates not examined
1 folder

Felleisen, Matthias, dates not examined
1 folder

Feyerabend, P. K., dates not examined
1 folder

Fisch, Max, dates not examined
1 folder

Fitch, Frederic, dates not examined
1 folder

Fontana, Walter, dates not examined
1 folder

Frege, Gottlob (photocopies only), dates not examined
1 folder

Friedman, Harvey, dates not examined
1 folder

Friedman, Joel, dates not examined
1 folder

Friedman, Joyce (includes correspondence), dates not examined
1 folder

Freudenthal, Hans, dates not examined
1 folder

Gale, Richard M., dates not examined
1 folder

Gandy, R. O., dates not examined
1 folder

Gehman, Harry Merrill, dates not examined
1 folder

Gilbert, Armando and Ribeiro, Hugo, dates not examined
1 folder

Gilmore, Paul C., dates not examined
1 folder

Ginsburg, Seymour, dates not examined
1 folder

Ginsburg, Seymour, dates not examined
1 folder

Givens, J. W., Jr., dates not examined
1 folder

Goldstine, H. H. and von Neumann, John, dates not examined
1 folder

Goodman, Nicholas, dates not examined
1 folder

Goodstein, R. L., dates not examined
1 folder

Goyret-Molaguero, Edgardo M., dates not examined
1 folder

Grana, Nicola, dates not examined
1 folder

Grandy, Richard, dates not examined
1 folder

Granell, Manuel, dates not examined
1 folder

Grattan-Guinness, I., dates not examined
1 folder

Griffin, Mabel, dates not examined
1 folder

Grzegorczyk, A., dates not examined
1 folder

Guard, James, dates not examined
1 folder

Guard, James, dates not examined
1 folder

Hailperin, Theodore, dates not examined
1 folder

Halmos, Paul R., dates not examined
1 folder

Hamming, R. W., dates not examined
1 folder

Hannauer, George, dates not examined
1 folder

Hardin, Garrett, dates not examined
1 folder

Hardy, G. H., dates not examined
1 folder

Hartman, Philip, dates not examined
1 folder

Hartshorne, Charles, dates not examined
1 folder

Hatcher, William, dates not examined
1 folder

Hawkins, Frances, dates not examined
1 folder

Hazen, A., dates not examined
1 folder

Healey, Richard, dates not examined
1 folder

Helmer, Olaf, dates not examined
1 folder

Henderson, Archibald, dates not examined
1 folder

Henkin, Leon, dates not examined
1 folder

Hermes, Hans, dates not examined
1 folder

Herzog, Fritz, dates not examined
1 folder

Heyting, A., dates not examined
1 folder

Hilbert, David, dates not examined
1 folder

Hille, Einar, dates not examined
1 folder

Hintikka, Jaakko, dates not examined
1 folder

Hiz, H., dates not examined
1 folder

Hoffman, Banesh, dates not examined
1 folder

Horn, Alfred, dates not examined
1 folder

Huntington, E. V., dates not examined
1 folder

Hurewicz, W., dates not examined
1 folder

Itoh, Makoto, dates not examined
1 folder

Jackson, Howard, dates not examined
1 folder

Jacobson, N., dates not examined
1 folder

Jaffin, George, dates not examined
1 folder

Jeffrey, Richard G., dates not examined
1 folder

Jenks, Frederick, dates not examined
1 folder

Jonsson, Bjarni, dates not examined
1 folder

Kagno, I. N., dates not examined
1 folder

Kanger, Stig, dates not examined
1 folder

Kaplan, David (includes correspondence), dates not examined
1 folder

Kaplan, David, dates not examined
1 folder

Kaplan, David, dates not examined
1 folder

Katz, Robert, dates not examined
1 folder

Kavka, Gregory, dates not examined
1 folder

Kemeny, John, dates not examined
1 folder

Keyser, Cassius Jackson, dates not examined
1 folder

Kleene, Stephen C., dates not examined
1 folder

Kleene, Stephen C. and Post, Emil L., dates not examined
1 folder

Knaster, B. and Kuratowski, C., dates not examined
1 folder

Kneser, Hellmuth, dates not examined
1 folder

Koenigsberger, Leo and Zeuner, Gustav, dates not examined
1 folder

Kolmogorov, A. N., dates not examined
1 folder

Kondo, M., dates not examined
1 folder

Korselt, A., dates not examined
1 folder

Krasner, Marc, dates not examined
1 folder

Kreisel, Georg, dates not examined
1 folder

Krentel, W. D., McKinsey, J. C. C., and Quine, W. V., dates not examined
1 folder

Kuipers, John W., dates not examined
1 folder

Künneth, H., dates not examined
1 folder

Kuratowski, Casimir, dates not examined
1 folder

Kurepa, Georges, dates not examined
1 folder

Kuroda, Von Sigekatu, dates not examined
1 folder

Kushner, Boris, dates not examined
1 folder

Kustaanheimo, Paul, dates not examined
1 folder

Lambek, J., dates not examined
1 folder

Larguier, Everett H., dates not examined
1 folder

Larkin, dates not examined
1 folder

LeBlanc, Hugues (includes correspondence), dates not examined
1 folder

Lefschetz, S., dates not examined
1 folder

Lehmer, D. H., Lehmer, Emma, and Vandiver, H.S., dates not examined
1 folder

Lesniewski, Stanislaw, dates not examined
1 folder

Levi-Civita, T., dates not examined
1 folder

Levine, J., dates not examined
1 folder

Levy, Azriel, dates not examined
1 folder

Lewis, C. I. (photocopies only), dates not examined
1 folder

Lins, Mario, dates not examined
1 folder

Linsky, Leonard, dates not examined
1 folder

Liu, Fu-tseng (includes correspondence), dates not examined
1 folder

Löb, M. H., dates not examined
1 folder

Lucchese, Isabella, dates not examined
1 folder

Maitra, Madhusudan, dates not examined
1 folder

Malitz, Richard (includes correspondence), dates not examined
1 folder

Malitz, Richard (includes correspondence), dates not examined
1 folder

Malitz, Richard, dates not examined
1 folder

Malitz, Richard, dates not examined
1 folder

Mar, Gary, dates not examined
1 folder

Marcus, Ruth Barcan, dates not examined
1 folder

Markov, A. A., dates not examined
1 folder

Maron, M. E., dates not examined
1 folder

Martin, Richard, dates not examined
1 folder

Mates, Benson, dates not examined
1 folder

McCall, Storrs, dates not examined
1 folder

McNaughton, Robert, dates not examined
1 folder

Mehlberg, Henryk, dates not examined
1 folder

Mendelsohn, Richard L., dates not examined
1 folder

Menger, Karl, dates not examined
1 folder

Meredith, David, dates not examined
1 folder

Meyer, Robert and Lambert, Karl, dates not examined
1 folder

Mill, John Stuart (photocopies only), dates not examined
1 folder

Miller, Robert Dennis, dates not examined
1 folder

Mitani, Suketaka, dates not examined
1 folder

Moisil, Gr. C., dates not examined
1 folder

Montague, Richard, dates not examined
1 folder

Moody, Ernest A., dates not examined
1 folder

Moore, Omar Khayyam and Berkowitz, Morris I., dates not examined
1 folder

Moore, Vardeman G. (includes correspondence), dates not examined
1 folder

Moschovakis, Yiannis, dates not examined
1 folder

Muller, David, dates not examined
1 folder

Mullin, Albert, dates not examined
1 folder

Myhill, John, dates not examined
1 folder

Nelson, R. J., dates not examined
1 folder

Netherwood, Douglas, B., dates not examined
1 folder

Neumann, Johann v. (co-translator G. J. Massey), dates not examined
1 folder

Newman, M. H. A., dates not examined
1 folder

Nietmann, William D., dates not examined
1 folder

Nomoto, Kazuyuki, dates not examined
1 folder

Paradies, F., dates not examined
1 folder

Parsons, Charles, dates not examined
1 folder

Parsons, Terence, dates not examined
1 folder

Peters, Haven (includes correspondence), dates not examined
1 folder

Pogorzelski, Witold A., dates not examined
1 folder

Porte, M. J., dates not examined
1 folder

Pour-El, Marian Boykan, dates not examined
1 folder

Pour-El, Marian Boykan and Howard, William A., dates not examined
1 folder

Pour-El, Marian Boykan and Putnam, Hilary, dates not examined
1 folder

Pour-El, Marian Boykan and Richards, Ian, dates not examined
1 folder

Prior, A. N. (includes correspondence), dates not examined
1 folder

Quine, W. V. (includes correspondence), dates not examined
1 folder

Rabin, Michael, dates not examined
1 folder

Randell, B., dates not examined
1 folder

Raul Vallejos, M.A., dates not examined
1 folder

Ree, Rimhak, dates not examined
1 folder

Regan, Kenneth, dates not examined
1 folder

Reichbach, Juliusz, dates not examined
1 folder

Reswick, James B., dates not examined
1 folder

Richardson, R. G. D., dates not examined
1 folder

Richter, Wayne, dates not examined
1 folder

Riesz, Frigyes, dates not examined
1 folder

Ritchie, Robert, dates not examined
1 folder

Robertson, H. P., dates not examined
1 folder

Robinson, Thacher, dates not examined
1 folder

Rogers, Hartley, Jr., dates not examined
1 folder

Roque, Sabrina, dates not examined
1 folder

Roth, J. P., dates not examined
1 folder

Routley, R., dates not examined
1 folder

Rubin, Herman and Suppes, Patrick, dates not examined
1 folder

Russell, Bertrand (photocopies only), dates not examined
1 folder

Salmon, Nathan, dates not examined
1 folder

Sanchez-Mazas, Miguel (includes correspondence), dates not examined
1 folder

Scheffler, Israel and Chomsky, Noam, dates not examined
1 folder

Schlytter, Leslie Evan, dates not examined
1 folder

Schock, Rolf, dates not examined
1 folder

Schoenfield, Joseph R., dates not examined
1 folder

Scholz, Heinrich, dates not examined
1 folder

Schütte, K., dates not examined
1 folder

Schützenberger, Marcel-Paul, dates not examined
1 folder

Schwartz, Richard L., dates not examined
1 folder

Scott, Dana, dates not examined
1 folder

Sebastiao e Silva, J. (includes review draft by Church), dates not examined
1 folder

Segal, Irving, dates not examined
1 folder

Seldin, Jonathan, dates not examined
1 folder

Selfridge, J. L., Nicol, C. A., and Vandiver, H. S., dates not examined
1 folder

Sellars, Wilfrid, dates not examined
1 folder

Seymour, Michel, dates not examined
1 folder

Shabunin, L. V., dates not examined
1 folder

Shaffer, Jerome, dates not examined
1 folder

Shankar, N., dates not examined
1 folder

Sharlow, Mark, dates not examined
1 folder

Shepherdson, J.C. and Körner, S. (includes correspondence), dates not examined
1 folder

Sheridan, Flash, dates not examined
1 folder

Shukla, Anjan (includes correspondence), dates not examined
1 folder

Sibajiban (includes correspondence), dates not examined
1 folder

Sierpinski, W., dates not examined
1 folder

Sklar, Lawrence, dates not examined
1 folder

Sklar, Lawrence, dates not examined
1 folder

Sklar, Lawrence, dates not examined
1 folder

Sklar, Lawrence, dates not examined
1 folder

Skolem, Th., dates not examined
1 folder

Smith, Joseph Wayne, dates not examined
1 folder

Smith, Richard, dates not examined
1 folder

Smullyan, Raymond, dates not examined
1 folder

Sobel, dates not examined
1 folder

Stegmüller, Wolfgang, dates not examined
1 folder

Steiger, A. V. von, dates not examined
1 folder

Stenius, Erik, dates not examined
1 folder

Stopes-Roe, H. V., dates not examined
1 folder

Strauss, Paul, dates not examined
1 folder

Strohbach, Eugene F., dates not examined
1 folder

Suppes, Patrick, dates not examined
1 folder

Suszko, Roman, dates not examined
1 folder

Swain, Robert L., dates not examined
1 folder

Swiggart, Peter, dates not examined
1 folder

Tallet, J. A., dates not examined
1 folder

Tarski, Alfred, dates not examined
1 folder

Thomason, R. H., dates not examined
1 folder

Thorpe, Dale A., dates not examined
1 folder

Trew, A., dates not examined
1 folder

Tucker, John, dates not examined
1 folder

Tucker, John, dates not examined
1 folder

Tukey, J. W., dates not examined
1 folder

Ullian, Joseph S., dates not examined
1 folder

Vallejos, M. A. Raul, dates not examined
1 folder

Van Dalen, Dirk, dates not examined
1 folder

Vandiver, H. S., dates not examined
1 folder

Vandiver, H.S. (includes correspondence), dates not examined
1 folder

Vandiver, H.S., dates not examined
1 folder

Van Fraassen, B. C., dates not examined
1 folder

Veblen, O. (includes correspondence), dates not examined
1 folder

Vietoris, L., dates not examined
1 folder

Vision, Gerald, dates not examined
1 folder

Vopenka, Petr, dates not examined
1 folder

Vranceanu, G., dates not examined
1 folder

Wagner-Dobler, Roland and Berg, Jan, dates not examined
1 folder

Walker, Robert J., dates not examined
1 folder

Wallace, A. D., dates not examined
1 folder

Walsh, J. L., dates not examined
1 folder

Wang, Hao, dates not examined
1 folder

Watanabe, Satosi, dates not examined
1 folder

Webb, Judson, dates not examined
1 folder

Wedderburn, J. H. M., dates not examined
1 folder

Weingartner, Paul, dates not examined
1 folder

Wette, Eduard, dates not examined
1 folder

White, Morton, dates not examined
1 folder

Wigner, Eugene, dates not examined
1 folder

Wilson, N. L., dates not examined
1 folder

Winder, Robert O., dates not examined
1 folder

Winder, Robert O., dates not examined
1 folder

Wolterstorff, Nicholas, dates not examined
1 folder

Yamada, H. & Booth, T., dates not examined
1 folder

Yourgrau, Palle, dates not examined
1 folder

Yourgrau, Wolfgang, dates not examined
1 folder

Zelëny, Michael (includes correspondence), dates not examined
1 folder

Zellweger, Shea, undated
1 folder

Zheng Yuxin, Xiao Xian, and Zhu Wujia, dates not examined
1 folder

Unknown author, "Sinn und Bedeutung der Logik" (received ), 1948 September 29
1 folder

Titled papers by unknown authors, dates not examined
1 folder

Untitled papers by unknown authors, undated
1 folder

Incomplete papers by known or unknown authors, undated
1 folder
Scope and Contents

Consists of the writings, correspondence, notes, and subject files of Alonzo Church. (For a more detailed description of these, see the Series Descriptions below.) Correspondents include Paul Bernays, Rudolf Carnap, Frederic B. Fitch, S. C. Kleene, E. L. Post, W. V. Quine, J. Barkley Rosser, Alfred Tarski, and Alan Turing, in addition to the many contributors to the Journal of Symbolic Logic during the years in which Church was editor.

The following standard abbreviations, or their variations, are used to identify materials in this collection: ALS = autograph letter signed, TLS = typed letter signed, ACS = autograph card signed, TCS = typed card signed, ANS = autograph note signed, TNS = typed note signed, AMsS = autograph manuscript signed, and TMsS = typed manuscript signed.

Collection Creator Biography:

Church

Alonzo Church was born on June 14, 1903, in Washington, D.C., to Samuel Robbins Church, a justice of the Municipal Court of the District of Columbia, and Mildred Hannah Church (née Parker). His great-grandfather, also named Alonzo Church, was professor of mathematics and, later, president of the college in Athens, Georgia, from 1829 to 1859. Church received his A.B. degree (1924) and Ph.D. degree (1927) from Princeton University under the guidance of Oswald Veblen. Church's doctoral dissertation was published in the January 1927 issue of Transactions of the American Mathematical Society, and titled "Alternatives to Zermelo's Assumption." He went on to study at Harvard University for a year (1927-28) on a National Research Fellowship, followed by a year abroad (1928-29) on an International Research Fellowship at the Universities of Göttingen and Amsterdam (where he visited with L. E. J. Brouwer). Church was appointed Assistant Professor of Mathematics at Princeton in 1929, promoted to Associate Professor in 1939, received tenure in 1947; from 1961 to 1967 he was Professor of Mathematics and Philosophy.

When the Association for Symbolic Logic was founded in 1935, Church became one of its first officers and the first co-editor (with C. H. Langford) of the Journal of Symbolic Logic. The first issue of the journal was published in March 1936, and Church served as editor of reviews for its first 44 volumes (1936-79). As a result of the high standards he set for the reviews section, Church was instrumental in building respect for the field of symbolic logic among mathematicians and philosophers.

During the 1930s, Church made Princeton a leading center of research in mathematical logic, with a focus on questions of the completeness and decidability of logical systems. In 1936 he demonstrated the undecidability of first-order logic ("Church's Theorem"), thus extending the famous result of Kurt Gödel, who was visiting the Institute for Advanced Study at the time. Together with his early students, J. Barkley Rosser, Steven C. Kleene, and Alan M. Turing, Church established the equivalence of the lambda calculus, recursive function theory, and Turing machines as formalizations of the notion of "effective calculability," a result that has come to be known as the "Church-Turing Thesis." In the 1950s and 1960s another generation of Church's students, including Michael Rabin, Hartley Rodgers, and Dana Scott, extended this research to automata, formal languages, and formal semantics, thus shaping the new field of theoretical computer science. Through this work—the lambda calculus—one of Church's earliest creations, gained new life as the basis for functional programming languages and for denotational semantics.

In 1967, Church moved his Journal of Symbolic Logic office's operations from Princeton to Los Angeles and continued his teaching career as Professor of Philosophy and Mathematics at UCLA until his retirement in 1990.

Church's writings range from papers published in numerous academic journals and books, to his 1941 monograph The Calculi of Lambda-Conversion and 1956 textbook An Introduction to Mathematical Logic, and to articles in the Encyclopedia Britannica for which he served as consulting editor on topics of mathematics and philosophy.

Church was elected to the National Academy of Sciences in 1978 and was also a member of the American Academy of Arts and Sciences and British Academy. He received honorary degrees from Case Western Reserve University (1969), Princeton University (1985) and the State University of New York at Buffalo (1990). The following statement was read aloud during the Princeton ceremony:

Over some 40 years of research and teaching, he made Princeton an international center of symbolic logic. In work contributing to what has been termed 'a fundamental discovery of the mathematicizing power of Homo Sapiens,' he defined the central question concerning the boundaries of formal reasoning. As longstanding editor and reviewer for his discipline's journal, he gave critical guidance to its quest for the foundations of mathematics and chronicled its history. Through his students, he set a path that has led from the abstract realm of mathematical logic to the concrete domains of computer science and to new vistas of mathematical power.

Church was married to Mary Julia Kuczinski from 1925 until her death in 1976, and they had three children—Alonzo Church, Jr. (Princeton Class of 1951), Mary Ann Addison, and Mildred Warner Dandridge. Several other of Church's relatives also attended Princeton University, including Church's grandsons John West Addison III (Class of 1984) and Alonzo Addison (Class of 1987), and three of Church's uncles. The uncle who was also named Alonzo Church was a member of the Class of 1892; James Robb Church belonged to the Class of 1888; and W. W. "Will" Church was in the Class of 1897. Following his retirement from UCLA, Alonzo Church moved to Hudson, Ohio, where his son resided. Church died on August 11, 1995, and was buried in the family plot in the Princeton Cemetery.

Acquisition:

The family of Alonzo Church (his son, Alonzo Church, Jr., and his two daughters, Mary Ann Addison and Mildred Dandridge) donated his papers to the Princeton University Library in April 2003 .

Appraisal

No appraisal information is available.

Processing Information

This collection was processed by Sylvia Yu and Laura Hildago, Princeton Class of 2006 in 2004. Finding aid written by Sylvia Yu and Laura Hildago, Princeton Class of 2006 in 2004.

Conditions Governing Access

Collection is open for research use.

Conditions Governing Use

Single copies may be made for research purposes. To cite or publish quotations that fall within Fair Use, as defined under U. S. Copyright Law, no permission is required. For instances beyond Fair Use, it is the responsibility of the researcher to determine whether any permissions related to copyright, privacy, publicity, or any other rights are necessary for their intended use of the Library's materials, and to obtain all required permissions from any existing rights holders, if they have not already done so. Princeton University Library's Special Collections does not charge any permission or use fees for the publication of images of materials from our collections, nor does it require researchers to obtain its permission for said use. The department does request that its collections be properly cited and images credited. More detailed information can be found on the Copyright, Credit and Citations Guidelines page on our website. If you have any questions, please feel free to contact us through the Ask Us! form.

Physical Characteristics and Technical Requirements

For preservation reasons, original analog and digital media may not be read or played back in the reading room. Users may visually inspect physical media but may not remove it from its enclosure. All analog audiovisual media must be digitized to preservation-quality standards prior to use. Audiovisual digitization requests are processed by an approved third-party vendor. Please note, the transfer time required can be as little as several weeks to as long as several months and there may be financial costs associated with the process. Requests should be directed through the Ask Us Form.

Credit this material:

Alonzo Church Papers; Manuscripts Division, Department of Special Collections, Princeton University Library

Permanent URL:
http://arks.princeton.edu/ark:/88435/fx719m49m
Location:
Firestone Library
One Washington Road
Princeton, NJ 08544, USA
(609) 258-3184
Ask Us a Question
Visit Us
Storage Note:
  • Firestone Library (scamss): Box 1-85