Main content

Alonzo Church Papers

Notifications

Held at: Princeton University Library: Manuscripts Division [Contact Us]

This is a finding aid. It is a description of archival material held at the Princeton University Library: Manuscripts Division. Unless otherwise noted, the materials described below are physically available in their reading room, and not digitally available through the web.

Overview and metadata sections

Church, Alonzo, 1903-1995

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.

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.

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.

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.

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.

No appraisal information is available.

Publisher
Manuscripts Division
Finding Aid Author
Sylvia Yu; Laura Hildago
Finding Aid Date
2004
Access Restrictions

Collection is open for research use.

Use Restrictions

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.

Collection Inventory

Scope and Contents

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.

Arrangement

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.

Physical Description

15 boxes

Scope and Contents

Consists of papers published between 1924-1951.

Arrangement

Arranged chronologically.

Physical Description

1 box

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

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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. 1 folder.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

1 folder

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

1 folder

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

(see also Box 2, Folder 10)

Physical Description

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.
Physical Description

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.
Scope and Contents

(See also Subject Files series, Box 53 folder 1)

Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

1 folder

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

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.
Physical Description

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.
Physical Description

1 folder

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

1 folder

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

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.
Physical Description

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.
Physical Description

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.
Physical Description

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 March. 1 folder.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

1 folder

Scope and Contents

Consists of papers published between 1951-1958.

Arrangement

Arranged chronologically.

Physical Description

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.
Physical Description

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.
Physical Description

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. 1 folder.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Scope and Contents

(See published version of paper in Box 59 folder 7.)

Physical Description

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.
Physical Description

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.
Physical Description

1 folder

Scope and Contents

Consists of papers published between 1958-1966.

Arrangement

Arranged chronologically.

Physical Description

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.
Physical Description

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. 1 folder.
Physical Description

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.
Physical Description

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.
Physical Description

1 folder

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

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. 1 folder.
Physical Description

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.
Physical Description

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.
Physical Description

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. 1 folder.
Physical Description

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. 1 folder.
Physical Description

1 folder

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

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.
Physical Description

1 box

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

Scope and Contents

Consists of papers published between 1966-1973.

Arrangement

Arranged chronologically.

Physical Description

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. 1 folder.
Physical Description

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.
Physical Description

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. 1 folder.
Physical Description

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. 1 folder.
Physical Description

1 folder

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

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.
Physical Description

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.
Physical Description

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.
Physical Description

1 folder

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

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.
Physical Description

1 folder

Scope and Contents

Consists of papers published between 1973-1978.

Arrangement

Arranged chronologically.

Physical Description

1 box

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

1 folder

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

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, 1974 March 29. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

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

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.
Physical Description

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.
Physical Description

1 folder

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

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.
Physical Description

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. 1 folder.
Physical Description

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.
Physical Description

1 folder

Scope and Contents

Consists of papers published between 1978-1980.

Arrangement

Arranged chronologically.

Physical Description

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. 1 folder.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

1 folder

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

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.
Physical Description

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.
Scope and Contents

(see also copies in Box 15, Folder 14)

Physical Description

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. 1 folder.
Physical Description

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.
Physical Description

1 folder

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

1 folder

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

1 folder

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

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. 1 folder.
Physical Description

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.
Physical Description

1 folder

Scope and Contents

Consists of papers published in 1993..

Arrangement

Arranged chronologically.

Physical Description

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.
Physical Description

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.
Physical Description

1 folder

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

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.
Physical Description

1 folder

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

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.
Physical Description

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.
Physical Description

1 folder

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

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.
Physical Description

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.
Physical Description

1 folder

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

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.
Physical Description

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.
Physical Description

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.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

Scope and Contents

Consists of collected works such as "On the Law of the Excluded Middle," "The Need for Abstract Entities in Semantic Analysis," and "Ontological Commitment," as well as others.

Arrangement

Not arranged according to any arrangment scheme.

Physical Description

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.
Physical Description

1 folder

Collected Works project correspondence, 1981-1994. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

The Calculi of Lambda-Conversion, 1941. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

"Propositions and Sentences", 1956. 1 folder.
Physical Description

1 folder

"Logic and Analysis", 1958. 1 folder.
Physical Description

1 folder

"Ontological Commitment", 1958 November. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

"Logic, Arithmetic,and Automata", 1973. 1 folder.
Physical Description

1 folder

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

1 folder

"Set Theory with a Universal Set", 1975. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

"Mathematics and Logic", 1993 December 23. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

22 Reviews by Church, 1939-1975. 1 folder.
Physical Description

1 folder

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

1 folder

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

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. 1 box.
Physical Description

1 box

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

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.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

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.
Physical Description

1 folder

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

[Note: Folders 1-3, containing Chapters I-III, were included among the Introduction to Mathematical Logic files, but it is unclear if they belong here.]

Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

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.
Physical Description

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.
Physical Description

1 folder

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

1 folder

Scope and Contents

Consists of lectures, abstracts, and unpublished papers, such as "Uniqueness of the Lorentz Transformation," "Frege on the Philosophy of Time," and "A revision of Monge's method," as well as others.

Arrangement

Not arranged according to any arrangment scheme.

Physical Description

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.
Scope and Contents

(see 1928 letter by H. B. Fine in Correspondence series)

Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 box

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

1 box

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

1 folder

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

1 folder

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

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

1 folder

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

1 box

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

(see also "Russellian Simple Type Theory")

Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

Scope and Contents

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.

Arrangement

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.

Physical Description

24 boxes

Scope and Contents

Consists of academic correspondence with individuals such as Kazimierz Ajdukiewicz, Paul Bernays, Charles Gillespie, and Robert McNaughton, as well as others.

Arrangement

Arranged alphabetically by correspondent.

Physical Description

7 boxes

A General, dates not examined. 1 folder.
Physical Description

1 folder

Abian, Alexander, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Ackermann, Robert, dates not examined. 1 folder.
Physical Description

1 folder

Ackerman, Wilhelm, dates not examined. 1 folder.
Physical Description

1 folder

Addison, John, dates not examined. 1 folder.
Physical Description

1 folder

Ajdukiewicz, Kazimierz, dates not examined. 1 folder.
Physical Description

1 folder

American Mathematical Society, dates not examined. 1 folder.
Physical Description

1 folder

American Philosophical Association, dates not examined. 1 folder.
Physical Description

1 folder

Anderson, C. Anthony, dates not examined. 1 folder.
Physical Description

1 folder

Andrews, Peter B., dates not examined. 1 folder.
Physical Description

1 folder

Angelleli, Ignacio, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Arbab, Bijan, dates not examined. 1 folder.
Physical Description

1 folder

Ba-Bl General, dates not examined. 1 folder.
Physical Description

1 folder

Bo-Bu General, dates not examined. 1 folder.
Physical Description

1 folder

Barendregt, Henk, dates not examined. 1 folder.
Physical Description

1 folder

Bar-Hillel, Yehoshua, dates not examined. 1 folder.
Physical Description

1 folder

Barzin, Marcel, dates not examined. 1 folder.
Physical Description

1 folder

Basil Blackwell Publisher, dates not examined. 1 folder.
Physical Description

1 folder

Bausch, Augustus F., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Bealer, George P., dates not examined. 1 folder.
Physical Description

1 folder

Beard, Robert W., dates not examined. 1 folder.
Physical Description

1 folder

Behmann, Heinrich, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Bernays, Paul, 1934-1975. 1 folder.
Physical Description

1 folder

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

1 folder

Bex, Joseph, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Borgers, A., dates not examined. 1 folder.
Physical Description

1 folder

Bowden, Leon, dates not examined. 1 folder.
Physical Description

1 folder

British Academy, dates not examined. 1 folder.
Physical Description

1 folder

Burks, Arthur W., dates not examined. 1 folder.
Physical Description

1 folder

Bynum, Terry, dates not examined. 1 folder.
Physical Description

1 folder

C General, dates not examined. 1 folder.
Physical Description

1 folder

Carnap, Rudolf, 1940-1954. 1 folder.
Physical Description

1 folder

Chaitin, Gregory J., dates not examined. 1 folder.
Physical Description

1 folder

Chandraskekharan, K., dates not examined. 1 folder.
Physical Description

1 folder

Chatalian, George, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Cohen, A., dates not examined. 1 folder.
Physical Description

1 folder

Cohen, Robert S., dates not examined. 1 folder.
Physical Description

1 folder

Copeland, Arthur H., dates not examined. 1 folder.
Physical Description

1 folder

Copi, Irving M., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Craig, William, dates not examined. 1 folder.
Physical Description

1 folder

Cunningham, G. Watts, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Cusmariu, Arnold, dates not examined. 1 folder.
Physical Description

1 folder

D General, dates not examined. 1 folder.
Physical Description

1 folder

Daigneault, Aubert, dates not examined. 1 folder.
Physical Description

1 folder

Davis, Martin, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Dickson, Harald, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Dodds, Harold W., dates not examined. 1 folder.
Physical Description

1 folder

Drucker, Thomas L., dates not examined. 1 folder.
Physical Description

1 folder

E General, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

F General, dates not examined. 1 folder.
Physical Description

1 folder

Feigl, Herbert, dates not examined. 1 folder.
Physical Description

1 folder

Ferrari, Gerard, dates not examined. 1 folder.
Physical Description

1 folder

Feys, R., dates not examined. 1 folder.
Physical Description

1 folder

Fine, Henry B., dates not examined. 1 folder.
Physical Description

1 folder

Fitch, Frederic B, 1937-1978. 1 folder.
Physical Description

1 folder

Fraenkel, A., dates not examined. 1 folder.
Physical Description

1 folder

Frechet, Maurice, dates not examined. 1 folder.
Physical Description

1 folder

G General, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Gillespie, Charles, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Gödel, Kurt, dates not examined. 1 folder.
Scope and Contents

(Note: Church was unable to locate most of the originals)

Physical Description

1 folder

Gonseth, F., dates not examined. 1 folder.
Physical Description

1 folder

Goodman, Nelson, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

Greenwood, Thomas, dates not examined. 1 folder.
Physical Description

1 folder

H General, dates not examined. 1 folder.
Physical Description

1 folder

Halmos, Paul R., dates not examined. 1 folder.
Physical Description

1 folder

Harvard University, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Hendel, Charles W., dates not examined. 1 folder.
Physical Description

1 folder

Henkin, Leon, dates not examined. 1 folder.
Physical Description

1 folder

Heyting, A., dates not examined. 1 folder.
Physical Description

1 folder

Huntington, Edward V., dates not examined. 1 folder.
Physical Description

1 folder

I General, dates not examined. 1 folder.
Physical Description

1 folder

International Congress of Mathematicians, dates not examined. 1 folder.
Physical Description

1 folder

Iseka, Kiyosi, dates not examined. 1 folder.
Physical Description

1 folder

Isles, David, dates not examined. 1 folder.
Physical Description

1 folder

Itoh, Makoto, dates not examined. 1 folder.
Physical Description

1 folder

J General, dates not examined. 1 folder.
Physical Description

1 folder

K General, dates not examined. 1 folder.
Physical Description

1 folder

Kalish, Donald, dates not examined. 1 folder.
Physical Description

1 folder

Kaplan, David, dates not examined. 1 folder.
Physical Description

1 folder

Kaplansky, Irving, dates not examined. 1 folder.
Physical Description

1 folder

Kates, Robert, dates not examined. 1 folder.
Physical Description

1 folder

Kattsoff, Louis O., dates not examined. 1 folder.
Physical Description

1 folder

Kemeny, John, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Materials Viewable Online
  1. View digital content
Kline, J. R., dates not examined. 1 folder.
Physical Description

1 folder

Kondô, Motokiti, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Korselt, A., dates not examined. 1 folder.
Physical Description

1 folder

Kraft, Julius, dates not examined. 1 folder.
Physical Description

1 folder

Kreisel, Georg, dates not examined. 1 folder.
Physical Description

1 folder

L General, dates not examined. 1 folder.
Physical Description

1 folder

Landau, E., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Lazerowitz, Alice A., dates not examined. 1 folder.
Physical Description

1 folder

Leblanc, Hugues, dates not examined. 1 folder.
Physical Description

1 folder

Lejewski, C., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Lingstrom, William T., dates not examined. 1 folder.
Physical Description

1 folder

Linsky, Leonard, dates not examined. 1 folder.
Physical Description

1 folder

Lorenzen, Paul, dates not examined. 1 folder.
Physical Description

1 folder

Lüscher, Dodera, dates not examined. 1 folder.
Physical Description

1 folder

M General, dates not examined. 1 folder.
Physical Description

1 folder

MacLane, Saunders, dates not examined. 1 folder.
Physical Description

1 folder

Madarász, Anna, dates not examined. 1 folder.
Physical Description

1 folder

Makinson, David, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Manor, Ruth, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Mates, Benson, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

McNaughton, Robert, dates not examined. 1 folder.
Physical Description

1 folder

Merrill, Daniel D., dates not examined. 1 folder.
Physical Description

1 folder

Montague, Richard, dates not examined. 1 folder.
Physical Description

1 folder

Materials Viewable Online
  1. View digital content
Montgomery, Deane, dates not examined. 1 folder.
Physical Description

1 folder

Monteiro, Antonio, dates not examined. 1 folder.
Physical Description

1 folder

Mostowski, Andrezj, dates not examined. 1 folder.
Physical Description

1 folder

Müller, Gert, dates not examined. 1 folder.
Physical Description

1 folder

Myhill, John, dates not examined. 1 folder.
Physical Description

1 folder

N General, dates not examined. 1 folder.
Physical Description

1 folder

Nagel, Ernest, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Narveson, Anne, dates not examined. 1 folder.
Physical Description

1 folder

Nelson, Raymond J., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

O General, dates not examined. 1 folder.
Physical Description

1 folder

P General, dates not examined. 1 folder.
Physical Description

1 folder

De Paola, Angela, dates not examined. 1 folder.
Physical Description

1 folder

Parsons, Charles, dates not examined. 1 folder.
Physical Description

1 folder

Parsons, Terence, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Post, E. L, 1936-1954. 1 folder.
Physical Description

1 folder

Princeton University, dates not examined. 1 folder.
Physical Description

1 folder

Princeton University Press, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Putnam, Hilary, dates not examined. 1 folder.
Physical Description

1 folder

Q General, dates not examined. 1 folder.
Physical Description

1 folder

Quine, W. V, 1935-1978. 1 folder.
Physical Description

1 folder

R General, dates not examined. 1 folder.
Physical Description

1 folder

Rawls, John, dates not examined. 1 folder.
Physical Description

1 folder

Reichbach, Juliusz, dates not examined. 1 folder.
Physical Description

1 folder

Reichenbach, Hans, dates not examined. 1 folder.
Physical Description

1 folder

Rescher, Nicholas, dates not examined. 1 folder.
Physical Description

1 folder

Richardson, Moses, dates not examined. 1 folder.
Physical Description

1 folder

Riska, Augustus, dates not examined. 1 folder.
Physical Description

1 folder

Robinson, T. Thacher, dates not examined. 1 folder.
Physical Description

1 folder

Rosser, J. Barkley, dates not examined. 1 folder.
Physical Description

1 folder

Rota, Gian-Carlo, dates not examined. 1 folder.
Physical Description

1 folder

Rudner, Richard, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Russell, Bertrand, dates not examined. 1 folder.
Physical Description

1 folder

Sa-Si General, dates not examined. 1 folder.
Physical Description

1 folder

Sk-Sz General, dates not examined. 1 folder.
Physical Description

1 folder

Salié, H., dates not examined. 1 folder.
Physical Description

1 folder

Salmon, Nathan, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Schmidt, H. Arnold, dates not examined. 1 folder.
Physical Description

1 folder

Scholz, Erna, dates not examined. 1 folder.
Physical Description

1 folder

Scholz, Heinrich, dates not examined. 1 folder.
Physical Description

1 folder

Sedey, Daniel, dates not examined. 1 folder.
Physical Description

1 folder

Seldin, Jonathan P., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Shukla, Anian, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Simpson, Thomas M., dates not examined. 1 folder.
Physical Description

1 folder

Sobocinski, Bolestaw, dates not examined. 1 folder.
Physical Description

1 folder

Stenström, Valdemar, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Stuermann, Walter, dates not examined. 1 folder.
Physical Description

1 folder

T General, dates not examined. 1 folder.
Physical Description

1 folder

Takeda, Hiromichi, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Tarski, Alfred, dates not examined. 1 folder.
Physical Description

1 folder

Tartaglia, Philip, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Thompson, Howard A., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Turing, Alan, dates not examined. 1 folder.
Physical Description

1 folder

Materials Viewable Online
  1. View digital content
Turing, E. Sarah, dates not examined. 1 folder.
Physical Description

1 folder

Turquette, Atwell R., dates not examined. 1 folder.
Physical Description

1 folder

U General, dates not examined. 1 folder.
Physical Description

1 folder

Ushenko, A., dates not examined. 1 folder.
Physical Description

1 folder

V General, dates not examined. 1 folder.
Physical Description

1 folder

van Heerden, J., dates not examined. 1 folder.
Physical Description

1 folder

van Heijenoort, John, dates not examined. 1 folder.
Physical Description

1 folder

Varela, Jacobo A., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Veblen, Oswald, dates not examined. 1 folder.
Physical Description

1 folder

von Mises, Hilda, dates not examined. 1 folder.
Physical Description

1 folder

W General, dates not examined. 1 folder.
Physical Description

1 folder

Wang, Hao, dates not examined. 1 folder.
Physical Description

1 folder

Weingartner, Paul, dates not examined. 1 folder.
Physical Description

1 folder

Weiss, Paul, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Wells, Rulon S., dates not examined. 1 folder.
Physical Description

1 folder

Wette, Edward, dates not examined. 1 folder.
Physical Description

1 folder

Weyl, Hermann, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Wikler, Daniel, dates not examined. 1 folder.
Physical Description

1 folder

Wilhelmy, Alexander, dates not examined. 1 folder.
Physical Description

1 folder

X-Z General, dates not examined. 1 folder.
Physical Description

1 folder

Zelëny, Michael, dates not examined. 1 folder.
Physical Description

1 folder

Zorn, Max A., dates not examined. 1 folder.
Physical Description

1 folder

Zubieta, Gonzalo, dates not examined. 1 folder.
Physical Description

1 folder

Scope and Contents

Consists of correspondence related to the Journal of Symbolic Logic, arranged by year and whether the correspondence in incoming or outgoing.

Arrangement

Arranged by genre of correspondence.

Physical Description

7 boxes

Received/Outgoing, 1935. 1 folder.
Physical Description

1 folder

Received, 1936. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

Received 1936 Fitch, Frederic B., 1936. 1 folder.
Physical Description

1 folder

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

1 folder

Outgoing, 1936. 1 folder.
Physical Description

1 folder

Received, 1937. 1 folder.
Physical Description

1 folder

Outgoing, 1937. 1 folder.
Physical Description

1 folder

Received, 1938. 1 folder.
Physical Description

1 folder

Outgoing, 1938. 1 folder.
Physical Description

1 folder

Received, 1939. 1 folder.
Physical Description

1 folder

Outgoing, 1939. 1 folder.
Physical Description

1 folder

Received, 1940. 1 folder.
Physical Description

1 folder

Outgoing, 1940. 1 folder.
Physical Description

1 folder

Received, 1941. 1 folder.
Physical Description

1 folder

Outgoing, 1941. 1 folder.
Physical Description

1 folder

Received, 1942. 1 folder.
Physical Description

1 folder

Outgoing, 1942. 1 folder.
Physical Description

1 folder

Received, 1943. 1 folder.
Physical Description

1 folder

Outgoing, 1943. 1 folder.
Physical Description

1 folder

Received, 1944. 1 folder.
Physical Description

1 folder

Outgoing, 1944. 1 folder.
Physical Description

1 folder

1945, 1945. 1 folder.
Physical Description

1 folder

Correspondence, 1946. 1 folder.
Physical Description

1 folder

Correspondence, 1947. 1 folder.
Physical Description

1 folder

Correspondence, 1948. 1 folder.
Physical Description

1 folder

Correspondence, 1949. 1 folder.
Physical Description

1 folder

Correspondence, 1950. 1 folder.
Physical Description

1 folder

Correspondence, 1951. 1 folder.
Physical Description

1 folder

Correspondence, 1952. 1 folder.
Physical Description

1 folder

Correspondence, 1953. 1 folder.
Physical Description

1 folder

Correspondence, 1954. 1 folder.
Physical Description

1 folder

Correspondence, 1955. 1 folder.
Physical Description

1 folder

Correspondence, 1956. 1 folder.
Physical Description

1 folder

JSL Correspondence, 1957-1959 A General, 1957-1959. 1 folder.
Physical Description

1 folder

JSL Correspondence, 1957-1959 Anderson, Alan Ross, 1957-1959. 1 folder.
Physical Description

1 folder

JSL Correspondence, 1957-1959 B General, 1957-1959. 1 folder.
Physical Description

1 folder

JSL Correspondence, 1957-1959 Barlaz, Joshua, 1957-1959. 1 folder.
Physical Description

1 folder

JSL Correspondence, 1957-1959 Borgers, Alfons, 1957-1959. 1 folder.
Physical Description

1 folder

JSL Correspondence, 1957-1959 C General, 1957-1959. 1 folder.
Physical Description

1 folder

JSL Correspondence, 1957-1959 D General, 1957-1959. 1 folder.
Physical Description

1 folder

JSL Correspondence, 1957-1959 E General, 1957-1959. 1 folder.
Physical Description

1 folder

JSL Correspondence, 1957-1959 F General, 1957-1959. 1 folder.
Physical Description

1 folder

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

1 folder

JSL Correspondence, 1957-1959 G General, 1957-1959. 1 folder.
Physical Description

1 folder

JSL Correspondence, 1957-1959 H General, 1957-1959. 1 folder.
Physical Description

1 folder

JSL Correspondence, 1957-1959 Henkin, Leon, 1957-1959. 1 folder.
Physical Description

1 folder

JSL Correspondence, 1957-1959 I-J General, 1957-1959. 1 folder.
Physical Description

1 folder

JSL Correspondence, 1957-1959 K General, 1957-1959. 1 folder.
Physical Description

1 folder

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

1 folder

JSL Correspondence, 1957-1959 L General, 1957-1959. 1 folder.
Physical Description

1 folder

JSL Correspondence, 1957-1959 Lazerowitz, Alice, 1957-1959. 1 folder.
Physical Description

1 folder

JSL Correspondence, 1957-1959 M General, 1957-1959. 1 folder.
Physical Description

1 folder

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

1 folder

JSL Correspondence, 1957-1959 N-O General, 1957-1959. 1 folder.
Physical Description

1 folder

JSL Correspondence, 1957-1959 P General, 1957-1959. 1 folder.
Physical Description

1 folder

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

1 folder

JSL Correspondence, 1957-1959 R General, 1957-1959. 1 folder.
Physical Description

1 folder

JSL Correspondence, 1957-1959 S General, 1957-1959. 1 folder.
Physical Description

1 folder

JSL Correspondence, 1957-1959 T-U General, 1957-1959. 1 folder.
Physical Description

1 folder

JSL Correspondence, 1957-1959 V General, 1957-1959. 1 folder.
Physical Description

1 folder

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

1 folder

JSL Correspondence, 1957-1959 W General, 1957-1959. 1 folder.
Physical Description

1 folder

JSL Correspondence, 1957-1959 X-Z General, 1957-1959. 1 folder.
Physical Description

1 folder

Association for Symbolic Logic Correspondence, 1960. 1 folder.
Physical Description

1 folder

Association for Symbolic Logic Correspondence, 1961. 1 folder.
Physical Description

1 folder

Association for Symbolic Logic Correspondence, 1962. 1 folder.
Physical Description

1 folder

Association for Symbolic Logic Correspondence, 1963. 1 folder.
Physical Description

1 folder

Scope and Contents

Includes some Journal of Symbolic Logic correspondence.

Arrangement

Arranged chronologically.

Physical Description

1 box

Association for Symbolic Logic Correspondence, 1964. 1 folder.
Physical Description

1 folder

Association for Symbolic Logic Correspondence, 1965. 1 folder.
Physical Description

1 folder

Association for Symbolic Logic Correspondence, 1966. 1 folder.
Physical Description

1 folder

Association for Symbolic Logic Correspondence, 1967. 1 folder.
Physical Description

1 folder

Association for Symbolic Logic Correspondence, 1968. 1 folder.
Physical Description

1 folder

Association for Symbolic Logic Correspondence, 1969. 1 folder.
Physical Description

1 folder

Association for Symbolic Logic Correspondence, 1970. 1 folder.
Physical Description

1 folder

Association for Symbolic Logic Correspondence, 1971. 1 folder.
Physical Description

1 folder

Association for Symbolic Logic Correspondence, 1972-1973. 1 folder.
Physical Description

1 folder

Association for Symbolic Logic Correspondence, 1974. 1 folder.
Physical Description

1 folder

Association for Symbolic Logic Correspondence, 1975. 1 folder.
Physical Description

1 folder

Association for Symbolic Logic Correspondence, 1976. 1 folder.
Physical Description

1 folder

Association for Symbolic Logic Correspondence, 1977. 1 folder.
Physical Description

1 folder

Association for Symbolic Logic Correspondence, 1978-1979. 1 folder.
Physical Description

1 folder

Scope and Contents

Consists of office files for the Journal of Symbolic Logic for individuals such as Stefan Bauer-Mengelberg, Andrzej Blikle, Czestaw Lejewski, and Miguel Sánchez-Mazas, as well as others.

Arrangement

Arranged alphabetically by correspondent.

Physical Description

7 boxes

A General, 1960-1970. 1 folder.
Physical Description

1 folder

Allen, Layman, 1960-1967. 1 folder.
Physical Description

1 folder

Anderson, Alan Ross, 1960-1973. 1 folder.
Physical Description

1 folder

Andrews, Peter, 1965-1988. 1 folder.
Physical Description

1 folder

Angelelli, I. A, 1965-1970. 1 folder.
Physical Description

1 folder

Åqvist, Lennart, 1968-1969. 1 folder.
Physical Description

1 folder

Asenjo, F. G, 1968-1990. 1 folder.
Physical Description

1 folder

B General, 1961-1969. 1 folder.
Physical Description

1 folder

Bacon, John, 1964-1967. 1 folder.
Physical Description

1 folder

Bar-Hillel, Yehoshua, 1960-1973. 1 folder.
Physical Description

1 folder

Barendregt, H. P, 1972-1976. 1 folder.
Physical Description

1 folder

Barlaz, Joshua, 1960-1961. 1 folder.
Physical Description

1 folder

Barwise, Jon, 1969-1978. 1 folder.
Physical Description

1 folder

Bauer-Mengelberg, Stefan, 1962-1970. 1 folder.
Physical Description

1 folder

Bayart, A, 1961-1968. 1 folder.
Physical Description

1 folder

Baylis, Charles A, 1963-1971. 1 folder.
Physical Description

1 folder

Bealer, George, 1974-1994. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Bennett, J. F, 1964-1976. 1 folder.
Physical Description

1 folder

Berg, Jan, 1968. 1 folder.
Physical Description

1 folder

Bernays, Paul, 1963-1979. 1 folder.
Physical Description

1 folder

Blikle, Andrzej, 1963-1972. 1 folder.
Physical Description

1 folder

Boh, Ivan, 1968-1976. 1 folder.
Physical Description

1 folder

Bohnert, H, 1967-1974. 1 folder.
Physical Description

1 folder

Boone, William, 1961-1982. 1 folder.
Physical Description

1 folder

Borgers, Alfons, 1960-1970. 1 folder.
Physical Description

1 folder

Borgers, Alfons, 1971-1977. 1 folder.
Physical Description

1 folder

Bull, R. A, 1967-1969. 1 folder.
Physical Description

1 folder

Butler, Ronald, 1960-1973. 1 folder.
Physical Description

1 folder

C General, 1961-1973. 1 folder.
Physical Description

1 folder

Castañeda, Hector-Neri, 1961-1964. 1 folder.
Physical Description

1 folder

Collins, D. J, 1967-1968. 1 folder.
Physical Description

1 folder

Cooper, D. C, 1965-1967. 1 folder.
Physical Description

1 folder

Corcoran, John, 1975-1978. 1 folder.
Physical Description

1 folder

Craig, William, 1964-1968. 1 folder.
Physical Description

1 folder

Curry, Haskell B, 1962-1982. 1 folder.
Physical Description

1 folder

D General, 1963-1977. 1 folder.
Physical Description

1 folder

Davis, Martin, 1967-1973. 1 folder.
Physical Description

1 folder

Dawson, Edward E, 1965-1972. 1 folder.
Physical Description

1 folder

Dempsey, Deborah, 1960-1961. 1 folder.
Physical Description

1 folder

Dickson, Harald, 1967-1970. 1 folder.
Physical Description

1 folder

Dreben, Burton, 1960-1969. 1 folder.
Physical Description

1 folder

Duda, William L, 1972-1974. 1 folder.
Physical Description

1 folder

Dumitriu, Anton, 1970-1972. 1 folder.
Physical Description

1 folder

Dyson, Verena H, 1964-1968. 1 folder.
Physical Description

1 folder

E General, 1963-1971. 1 folder.
Physical Description

1 folder

Elgot, Calvin C, 1962-1971. 1 folder.
Physical Description

1 folder

Enderton, Herbert B, 1968-1997. 1 folder.
Physical Description

1 folder

F General, 1958-1984. 1 folder.
Physical Description

1 folder

Feferman, Solomon, 1967-1969. 1 folder.
Physical Description

1 folder

Fels, Eberhard M, 1962-1971. 1 folder.
Physical Description

1 folder

Ferebee, Ann, 1972-1979. 1 folder.
Physical Description

1 folder

Fitch, Frederic B, 1961-1975. 1 folder.
Physical Description

1 folder

F⊘llesdal, Dagfinn, 1966-1980. 1 folder.
Physical Description

1 folder

Fraisse, Roland, 1957-1973. 1 folder.
Physical Description

1 folder

Frayne, Thomas E, 1961-1970. 1 folder.
Physical Description

1 folder

Freudenthal, Hans, 1966-1974. 1 folder.
Physical Description

1 folder

Fuhrken, Gebhard, 1965-1968. 1 folder.
Physical Description

1 folder

G General, 1963-1974. 1 folder.
Physical Description

1 folder

Gale, Richard, 1968-1975. 1 folder.
Physical Description

1 folder

Gandy, R. O, 1966. 1 folder.
Physical Description

1 folder

Gershuni, B, 1967-1969. 1 folder.
Physical Description

1 folder

Germansky, B, 1960-1966. 1 folder.
Physical Description

1 folder

H General, 1965-1973. 1 folder.
Physical Description

1 folder

Hailperin, Theodore, 1960-1967. 1 folder.
Physical Description

1 folder

Halpern, J. D, 1966. 1 folder.
Physical Description

1 folder

Harrop, Ronald, 1961-1968. 1 folder.
Physical Description

1 folder

Hasenjaeger, G, 1960-1977. 1 folder.
Physical Description

1 folder

Hempel, Carl G, 1962-1967. 1 folder.
Physical Description

1 folder

Henkin, Leon, 1960-1971. 1 folder.
Physical Description

1 folder

Iséki, Kiyoshi, 1968-1974. 1 folder.
Physical Description

1 folder

Itoh, Makoto, 1960. 1 folder.
Physical Description

1 folder

J General, 1960-1969. 1 folder.
Physical Description

1 folder

K General, 1965-1971. 1 folder.
Physical Description

1 folder

Kalish, Donald, 1963-1994. 1 folder.
Physical Description

1 folder

Kambartel, Friedrich, 1968-1970. 1 folder.
Physical Description

1 folder

Kaplan, David, 1963-1973. 1 folder.
Physical Description

1 folder

Karp, Carol, 1964-1968. 1 folder.
Physical Description

1 folder

Kleene, S. C, 1958-1983. 1 folder.
Physical Description

1 folder

Kline, George, 1957-1964. 1 folder.
Physical Description

1 folder

Kneebone, G. T, 1978. 1 folder.
Physical Description

1 folder

Kokoszynska-Lutman, Maria, 1963-1975. 1 folder.
Physical Description

1 folder

Kreider, Donald L, 1964-1992. 1 folder.
Physical Description

1 folder

Kreisel, Georg, 1960-1973. 1 folder.
Physical Description

1 folder

L General, 1964-1979. 1 folder.
Physical Description

1 folder

Ladrière, Jean, 1963-1971. 1 folder.
Physical Description

1 folder

Lascar, Daniel, 1980-1998. 1 folder.
Physical Description

1 folder

Lazerowitz, Alice A, 1960-1971. 1 folder.
Physical Description

1 folder

Leaf, Mrs, 1974-1975. 1 folder.
Physical Description

1 folder

Leblanc, Hughes, 1960-1990. 1 folder.
Physical Description

1 folder

Lejewski, Czestaw, 1965-1980. 1 folder.
Physical Description

1 folder

Lercher, Bruce, 1964-1971. 1 folder.
Physical Description

1 folder

Levy, Azriel, 1960-1968. 1 folder.
Physical Description

1 folder

Luckham, David, 1966-1971. 1 folder.
Physical Description

1 folder

Luschei, Eugene, 1960-1974. 1 folder.
Physical Description

1 folder

M General: 1945 bulk 1962-1973, 1945 (1962-1973). 1 folder.
Physical Description

1 folder

Martin, R. M, 1963-1967. 1 folder.
Physical Description

1 folder

Massey, Gerald J, 1964-1973. 1 folder.
Physical Description

1 folder

Mates, Benson, 1964-1969. 1 folder.
Physical Description

1 folder

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

1 folder

McNaughton, Robert, 1962-1976. 1 folder.
Physical Description

1 folder

Mennicke, Jens L, 1966-1967. 1 folder.
Physical Description

1 folder

Mihailescu, Eugen, 1965-1970. 1 folder.
Physical Description

1 folder

Miller, David, 1969-1971. 1 folder.
Physical Description

1 folder

Monk, Donald, 1965-1975. 1 folder.
Physical Description

1 folder

Montague, Richard, 1960-1971. 1 folder.
Physical Description

1 folder

Moore, Edward F, 1961-1963. 1 folder.
Physical Description

1 folder

Moschovakis, Yiannis and Joan, 1965-1975. 1 folder.
Physical Description

1 folder

Mostowski, Andrzej, 1957-1973. 1 folder.
Physical Description

1 folder

Mott, Thomas, 1960-1970. 1 folder.
Physical Description

1 folder

Müller, Gert H, 1962-1973. 1 folder.
Physical Description

1 folder

Myhill, John, 1967-1980. 1 folder.
Physical Description

1 folder

N General, 1960-1971. 1 folder.
Physical Description

1 folder

O General, 1957-1994. 1 folder.
Physical Description

1 folder

P General, 1963-1971. 1 folder.
Physical Description

1 folder

Parsons, Charles D, 1964-1974. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Platek, Richard, 1968-1972. 1 folder.
Physical Description

1 folder

Pogorzelski, Witold A, 1963-1968. 1 folder.
Physical Description

1 folder

Pour-El, Marian Boykan, 1964-1971. 1 folder.
Physical Description

1 folder

Prawitz, Dag, 1969-1975. 1 folder.
Physical Description

1 folder

Prior, Arthur N, 1952-1969. 1 folder.
Physical Description

1 folder

Putnam, Hilary, 1957-1979. 1 folder.
Physical Description

1 folder

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

1 folder

R General, 1956-1979. 1 folder.
Physical Description

1 folder

Rabin, Michael, 1960-1977. 1 folder.
Physical Description

1 folder

Rand, Rose, 1960-1967. 1 folder.
Physical Description

1 folder

Reichbach, Juliusz, 1960-1969. 1 folder.
Physical Description

1 folder

Robinson, Abraham, 1960-1969. 1 folder.
Physical Description

1 folder

Robinson, Julia, 1960-1985. 1 folder.
Physical Description

1 folder

Robinson, T. Thacher, 1961-1966. 1 folder.
Physical Description

1 folder

Rosser, J. Barkley, 1960-1983. 1 folder.
Physical Description

1 folder

Sa-Sh General, 1965-1974. 1 folder.
Physical Description

1 folder

Si-Sz General, 1960-1978. 1 folder.
Physical Description

1 folder

Sánchez-Mazas, Miguel, 1970-1972. 1 folder.
Physical Description

1 folder

Schock, Rolf, 1963-1982. 1 folder.
Physical Description

1 folder

Scott, Dana, 1963-1967. 1 folder.
Physical Description

1 folder

Segerberger, Krister, 1967-1976. 1 folder.
Physical Description

1 folder

Shamir, Eliahu, 1968-1970. 1 folder.
Physical Description

1 folder

Shepherdson, J. C, 1960-1968. 1 folder.
Physical Description

1 folder

Shoenfield, Joseph R, 1968-1976. 1 folder.
Physical Description

1 folder

Simpson, Thomas M, 1967-1973. 1 folder.
Physical Description

1 folder

Slupecki, Jerzy, 1968-1971. 1 folder.
Physical Description

1 folder

Staal, Frits, 1966-1967. 1 folder.
Physical Description

1 folder

Stahl, Gerold, 1964-1974. 1 folder.
Physical Description

1 folder

Stanley, Robert, 1968-1973. 1 folder.
Physical Description

1 folder

Stegmüller, Wolfgang, 1960-1970. 1 folder.
Physical Description

1 folder

Ta-Th General, 1960-1971. 1 folder.
Physical Description

1 folder

Ti-Tz General, 1960-1988. 1 folder.
Physical Description

1 folder

Tarski, Alfred, 1961-1971. 1 folder.
Physical Description

1 folder

Turing, E. Sara, 1960-1971. 1 folder.
Physical Description

1 folder

Turquette, Atwell R, 1960-1967. 1 folder.
Physical Description

1 folder

Umezawa, T, 1968. 1 folder.
Physical Description

1 folder

V General, 1964-1986. 1 folder.
Physical Description

1 folder

van Heinjenoort, John, 1952-1978. 1 folder.
Physical Description

1 folder

Vaught, R. L, 1965-1968. 1 folder.
Physical Description

1 folder

Vuckovic, V, 1963-1968. 1 folder.
Physical Description

1 folder

W General, 1961-1975. 1 folder.
Physical Description

1 folder

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

1 folder

X-Z General, 1969-1983. 1 folder.
Physical Description

1 folder

Yasugi, Mariko, 1966-1968. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Yourgrau, Wolfgang, 1960-1969. 1 folder.
Physical Description

1 folder

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

1 folder

Journal of Symbolic Logic: Budget, undated. 1 folder.
Physical Description

1 folder

Journal of Symbolic Logic: Consulting Editors, undated. 1 folder.
Physical Description

1 folder

Journal of Symbolic Logic: Form Letters, undated. 1 folder.
Physical Description

1 folder

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

1 folder

Journal of Symbolic Logic: Personnel, undated. 1 folder.
Physical Description

1 folder

Journal of Symbolic Logic: Reprint Rights, undated. 1 folder.
Physical Description

1 folder

Journal of Symbolic Logic: Surveys, undated. 1 folder.
Physical Description

1 folder

Scope and Contents

Consists of correspondence on subjects such as the 1946 Princeton University Bicentennial Conference on Problems of Mathematics, Letters of Recommendation & Evaluation, and correspondence relating to Symposia, Congresses and Lectures, as well as other subjects.

Arrangement

Arranged by genre of correspondence.

Physical Description

2 boxes

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

Family correspondence, dates not examined. 1 folder.
Physical Description

1 folder

Non-academic, personal correspondence, dates not examined. 1 folder.
Physical Description

1 folder

Financial-related correspondence, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Letters removed from his books, undated. 1 folder.
Physical Description

1 folder

Scope and Contents

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.

Arrangement

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.

Physical Description

15 boxes

Scope and Contents

Consists primarily of notes for princeton university courses on Mathematics.

Arrangement

Not arranged according to any arrangment scheme.

Physical Description

1 box

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

1 folder

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

1 folder

Modern Elementary Geometry, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

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.
Physical Description

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.
Physical Description

1 folder

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

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. 1 folder.
Physical Description

1 folder

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

1 folder

Scope and Contents

Consists of various notebooks.

Arrangement

Not arranged according to any arrangment scheme.

Physical Description

1 box

Notebook, 1965 December-1966 August. 1 folder.
Physical Description

1 folder

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

1 folder

Notebook, 1967 February. 1 folder.
Physical Description

1 folder

Notebook, 1966 April-1967 February. 1 folder.
Physical Description

1 folder

Notebook: m transformations, 1967 March-July. 1 folder.
Physical Description

1 folder

Scope and Contents

Consists of notes, index cards, and notebooks on Differential Equations.

Arrangement

Not arranged according to any arrangment scheme.

Physical Description

6 boxes

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

1 folder

Differential equations notebook, 1968 February-1970 March. 1 folder.
Physical Description

1 folder

Differential equations notebook, 1968 May-June. 1 folder.
Physical Description

1 folder

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

1 folder

Differential equations notebook, 1970 April-July. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Differential equations notebook, dates not examined. 1 folder.
Physical Description

1 folder

Differential equations notebook, dates not examined. 1 folder.
Physical Description

1 folder

Differential equations notebook, dates not examined. 1 folder.
Physical Description

1 folder

Differential equations notebook, dates not examined. 1 folder.
Physical Description

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.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

Differential equations notebook, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

Differential equations notebook, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Differential equations notebook, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Differential equations notebook, dates not examined. 1 folder.
Physical Description

1 folder

Differential equations notebook, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 box

Scope and Contents

Consists of notes, exercises, and notebooks related to set theory.

Arrangement

Not arranged according to any arrangment scheme.

Physical Description

3 boxes

Notebook, 1970 December 31-1971 September. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

Notebook, 1975 July-1977 December. 1 folder.
Physical Description

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.
Physical Description

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.
Physical Description

1 folder

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

1 folder

Notebook, 1976 December-1978 January. 1 folder.
Physical Description

1 folder

Notebook, 1977 January-December. 1 folder.
Physical Description

1 folder

Little notebook, 1977 May. 1 folder.
Physical Description

1 folder

Notebook, 1978 July-1979 January. 1 folder.
Physical Description

1 folder

Notebook, 1979 June-September. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Notebook, 1981 March-December. 1 folder.
Physical Description

1 folder

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

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.
Physical Description

1 folder

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

1 folder

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

1 folder

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

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.
Physical Description

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. 1 folder.
Physical Description

1 folder

Scope and Contents

Consists of materials related to UCLA courses, primarily on Philosophy.

Arrangement

Arranged by class.

Physical Description

1 box

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

UCLA Philosophy 222, 1970 Fall Notes, 1970 Fall. 1 folder.
Physical Description

1 folder

UCLA Philosophy 222B, 1972 Spring Notes, 1972 Spring. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

Notes for UCLA course on "Open Problems", 1973 Fall. 1 folder.
Physical Description

1 folder

Scope and Contents

Consists of additional notes and materials related to courses at UCLA.

Arrangement

Not arranged according to any arrangment scheme.

Physical Description

1 box

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

Notes removed from cardboard folder with Church's notes cut out and preserved.

Physical Description

1 folder

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

1 folder

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

The Hagerström Lectures was a series of 6 lectures based on Church's "Comparison of Russell's Resolution of the Semantical Antinomies with that of Tarski."

Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

1 folder

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

1 folder

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

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.
Physical Description

1 folder

Notes 1986 July Refers to previous folder, 1986 July. 1 folder.
Physical Description

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.
Physical Description

1 folder

Notes ( 1980s and 1990s), 1980s. 1 folder.
Physical Description

1 folder

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

1 folder

Scope and Contents

Consists of miscellaneous notes, some of which are either undated or unlabeled.

Arrangement

Not arranged according to any arrangment scheme.

Physical Description

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.
Physical Description

1 folder

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

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.
Physical Description

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.
Physical Description

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.
Physical Description

1 folder

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

1 folder

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

1 folder

Notepad of notes, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

Notes by Church removed from his books, undated. 1 folder.
Physical Description

1 folder

Address File, undated. 1 box.
Physical Description

1 box

Scope and Contents

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.

Arrangement

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.

Physical Description

10 boxes

Scope and Contents

Consists of subject files for Princeton University.

Arrangement

Not arranged according to any arrangment scheme.

Physical Description

1 box

Princeton University Comprehensive Examinations, 1931-1963. 1 folder.
Physical Description

1 folder

Princeton University Examinations in Mathematics, 1942-1953. 1 folder.
Physical Description

1 folder

Princeton University Examinations in Mathematics, 1936-1941. 1 folder.
Physical Description

1 folder

Princeton University Examination questions; Unused examinations, undated. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

Princeton University Business — Personal, undated. 1 folder.
Scope and Contents

(see also Correspondence, Princeton University)

Physical Description

1 folder

Princeton University Research Committee, 1945-1946. 1 folder.
Physical Description

1 folder

Scope and Contents

Consists of subject files for Princeton University and UCLA.

Arrangement

Arranged by genre of material.

Physical Description

1 box

Princeton University Inter-Academic Business, undated. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

UCLA Philosophy Department business, dates not examined. 1 folder.
Physical Description

1 folder

UCLA General Correspondence, dates not examined. 1 folder.
Physical Description

1 folder

UCLA Employment and Salary information, dates not examined. 1 folder.
Physical Description

1 folder

UCLA Student Correspondence, undated. 1 folder.
Physical Description

1 folder

UCLA Course Reading Lists, dates not examined. 1 folder.
Physical Description

1 folder

UCLA Tests and Final Exams, 1968-1990. 1 folder.
Physical Description

1 folder

UCLA Student Grade reports and exams, undated. 1 folder.
Physical Description

1 folder

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

1 folder

Scope and Contents

Consists of subject files for academic topics in Church's files.

Arrangement

Arranged alphabetically by subject.

Physical Description

1 box

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

1 folder

Conditioned Disjunction, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Excluded Middle, dates not examined. 1 folder.
Scope and Contents

(see also correspondence with Errera, Hedrick; includes Church's notes on Brouwer's lectures at Princeton in 1953 and his "Report of Activities as National Research Fellow in Mathematics from September 15, 1927 to March 1, 1928" (original, handwritten draft, 5 pp.)

Physical Description

1 folder

Function Equations, dates not examined. 1 folder.
Physical Description

1 folder

Impredicative definition, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Knots, undated. 1 folder.
Physical Description

1 folder

Miminal Logic, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Ordinal numbers - lambda-definability, dates not examined. 1 folder.
Physical Description

1 folder

Quine Set Theory, dates not examined. 1 folder.
Physical Description

1 folder

Materials Viewable Online
  1. View digital content
Real [?] (4 graph sheets with notes), dates not examined. 1 folder.
Physical Description

1 folder

Russell [, Bertrand], historical, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Sense and Denotation, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Theorems on Reduction Sequences, dates not examined. 1 folder.
Physical Description

1 folder

Transfinite Type Theory, undated. 1 folder.
Physical Description

1 folder

Turing machines - Word problem, undated. 1 folder.
Physical Description

1 folder

Scope and Contents

Consists of subject files for Encyclopaedia Britannica.

Arrangement

Not arranged according to any arrangment scheme.

Physical Description

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.
Physical Description

1 folder

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

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.
Physical Description

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.
Physical Description

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.
Physical Description

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.
Physical Description

1 folder

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

1 folder

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

1 folder

Encyclopaedia Britannica: Correspondence, 1956-1957. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Scope and Contents

Consists of subject files for Journal of Symbolic Logic.

Arrangement

Arranged by genre of material.

Physical Description

1 box

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

Printer Samples, dates not examined. 1 folder.
Physical Description

1 folder

Misc. printed materials (French), undated. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Misc. printed materials, undated. 1 folder.
Physical Description

1 folder

Misc. printed materials, undated. 1 folder.
Physical Description

1 folder

Scope and Contents

Consists of subject files for National Academy of Sciences, National Research Council, and National Science Foundation.

Arrangement

Not arranged according to any arrangment scheme.

Physical Description

1 box

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

National Science Foundation Research Projects, 1948-1955. 1 folder.
Physical Description

1 folder

National Science Foundation Reports, undated. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

Scope and Contents

Consists of subject files for the National Science Foundation.

Arrangement

Not arranged according to any arrangment scheme.

Physical Description

1 box

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

1 folder

NSF-GN-280 Backlog grant, 1964-1967. 1 folder.
Physical Description

1 folder

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

1 folder

NSF Proposed combining of "Backlog" and "Current" grants beginning, 1970 July. 1 folder.
Physical Description

1 folder

NSF-GN-472 Current grant, 1965-1969. 1 folder.
Physical Description

1 folder

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

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.
Physical Description

1 folder

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

1 folder

Scope and Contents

Consists of subject files for publications.

Arrangement

Not arranged according to any arrangment scheme.

Physical Description

2 boxes

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

1 folder

Economics (assorted publications), dates not examined. 1 folder.
Physical Description

1 folder

Education (assorted publications), dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

Physics (assorted publications), dates not examined. 1 folder.
Physical Description

1 folder

Psychiatry/Psychology (assorted publications), undated. 1 folder.
Physical Description

1 folder

Sociology (assorted publications), undated. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

"Foundations of Mathematics" Colloquium, Tihany, 1962. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

Scope and Contents

Consists of subject files for publications and personal files.

Arrangement

Not arranged according to any arrangment scheme.

Physical Description

1 box

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

1 folder

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

1 folder

Photographs of Alonzo Church, undated. 1 folder.
Physical Description

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.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

Scope and Contents

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.

Arrangement

Arranged alphabetically by author.

Physical Description

21 boxes

Abian, Smbat, dates not examined. 1 folder.
Physical Description

1 folder

Adams, Joe K., dates not examined. 1 folder.
Physical Description

1 folder

Adams, Robert, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Allen, Layman E., dates not examined. 1 folder.
Physical Description

1 folder

Almog, J., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Anderson, C. Anthony, dates not examined. 1 folder.
Physical Description

1 folder

Anderson, C. Anthony, dates not examined. 1 folder.
Physical Description

1 folder

Andrews, Peter B., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Artin, Emil, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Aumann, Georg, dates not examined. 1 folder.
Physical Description

1 folder

Bachmann, Friedrich, dates not examined. 1 folder.
Physical Description

1 folder

Bahm, Archie J., dates not examined. 1 folder.
Physical Description

1 folder

Barbosa, Jorge, dates not examined. 1 folder.
Physical Description

1 folder

Bar-Hillel, Yehoshua, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Bealer, George, dates not examined. 1 folder.
Physical Description

1 folder

Behmann, Heinrich, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Berke, Peter, dates not examined. 1 folder.
Physical Description

1 folder

Berkowitz, Morris, dates not examined. 1 folder.
Physical Description

1 folder

Bernays, Paul, dates not examined. 1 folder.
Physical Description

1 folder

Birkhoff, Garrett, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Boone, William, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

Buchi, J. Richard, dates not examined. 1 folder.
Physical Description

1 folder

Burgatti, Pietro, dates not examined. 1 folder.
Physical Description

1 folder

Burge, Tyler, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Burge, Tyler, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Carnap, Rudolf, dates not examined. 1 folder.
Physical Description

1 folder

Carr, John W., dates not examined. 1 folder.
Physical Description

1 folder

Cartwright, Richard L., dates not examined. 1 folder.
Physical Description

1 folder

Casteneda, Hector Neri, dates not examined. 1 folder.
Physical Description

1 folder

Cervinka, Vladimir, dates not examined. 1 folder.
Physical Description

1 folder

Chaitin, Gregory, dates not examined. 1 folder.
Physical Description

1 folder

Chaitin, Gregory, dates not examined. 1 folder.
Physical Description

1 folder

Chauvin, Andre, dates not examined. 1 folder.
Physical Description

1 folder

Cocchiarella, Nino B., dates not examined. 1 folder.
Physical Description

1 folder

Coffa, J. Alberto, dates not examined. 1 folder.
Physical Description

1 folder

Cohen, Paul J., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Corcoran, John, dates not examined. 1 folder.
Physical Description

1 folder

Craig, William, dates not examined. 1 folder.
Physical Description

1 folder

Cummins, Robert and Gottlieb, Dale, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Cusmariu, Arnold, dates not examined. 1 folder.
Physical Description

1 folder

Dao, Paolo, dates not examined. 1 folder.
Physical Description

1 folder

Davidson, Donald, dates not examined. 1 folder.
Physical Description

1 folder

Davis, Martin, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

DeSua, Frank, dates not examined. 1 folder.
Physical Description

1 folder

Deutsch, Harry, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Donnellan, Keith S., dates not examined. 1 folder.
Physical Description

1 folder

Dreben, Burton S., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Easton, William B., dates not examined. 1 folder.
Physical Description

1 folder

Elgot, Calvin, dates not examined. 1 folder.
Physical Description

1 folder

Ellis, Brian, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Etchemendy, John, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Feferman, Solomon, dates not examined. 1 folder.
Physical Description

1 folder

Feibleman, James K., dates not examined. 1 folder.
Physical Description

1 folder

Feibleman, James K., dates not examined. 1 folder.
Physical Description

1 folder

Felleisen, Matthias, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Fisch, Max, dates not examined. 1 folder.
Physical Description

1 folder

Fitch, Frederic, dates not examined. 1 folder.
Physical Description

1 folder

Fontana, Walter, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Friedman, Harvey, dates not examined. 1 folder.
Physical Description

1 folder

Friedman, Joel, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Freudenthal, Hans, dates not examined. 1 folder.
Physical Description

1 folder

Gale, Richard M., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Gehman, Harry Merrill, dates not examined. 1 folder.
Physical Description

1 folder

Gilbert, Armando and Ribeiro, Hugo, dates not examined. 1 folder.
Physical Description

1 folder

Gilmore, Paul C., dates not examined. 1 folder.
Physical Description

1 folder

Ginsburg, Seymour, dates not examined. 1 folder.
Physical Description

1 folder

Ginsburg, Seymour, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Goodman, Nicholas, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Grana, Nicola, dates not examined. 1 folder.
Physical Description

1 folder

Grandy, Richard, dates not examined. 1 folder.
Physical Description

1 folder

Granell, Manuel, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Griffin, Mabel, dates not examined. 1 folder.
Physical Description

1 folder

Grzegorczyk, A., dates not examined. 1 folder.
Physical Description

1 folder

Guard, James, dates not examined. 1 folder.
Physical Description

1 folder

Guard, James, dates not examined. 1 folder.
Physical Description

1 folder

Hailperin, Theodore, dates not examined. 1 folder.
Physical Description

1 folder

Halmos, Paul R., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Hannauer, George, dates not examined. 1 folder.
Physical Description

1 folder

Hardin, Garrett, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Hartman, Philip, dates not examined. 1 folder.
Physical Description

1 folder

Hartshorne, Charles, dates not examined. 1 folder.
Physical Description

1 folder

Hatcher, William, dates not examined. 1 folder.
Physical Description

1 folder

Hawkins, Frances, dates not examined. 1 folder.
Physical Description

1 folder

Hazen, A., dates not examined. 1 folder.
Physical Description

1 folder

Healey, Richard, dates not examined. 1 folder.
Physical Description

1 folder

Helmer, Olaf, dates not examined. 1 folder.
Physical Description

1 folder

Henderson, Archibald, dates not examined. 1 folder.
Physical Description

1 folder

Henkin, Leon, dates not examined. 1 folder.
Physical Description

1 folder

Hermes, Hans, dates not examined. 1 folder.
Physical Description

1 folder

Herzog, Fritz, dates not examined. 1 folder.
Physical Description

1 folder

Heyting, A., dates not examined. 1 folder.
Physical Description

1 folder

Hilbert, David, dates not examined. 1 folder.
Physical Description

1 folder

Hille, Einar, dates not examined. 1 folder.
Physical Description

1 folder

Hintikka, Jaakko, dates not examined. 1 folder.
Physical Description

1 folder

Hiz, H., dates not examined. 1 folder.
Physical Description

1 folder

Hoffman, Banesh, dates not examined. 1 folder.
Physical Description

1 folder

Horn, Alfred, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Hurewicz, W., dates not examined. 1 folder.
Physical Description

1 folder

Itoh, Makoto, dates not examined. 1 folder.
Physical Description

1 folder

Jackson, Howard, dates not examined. 1 folder.
Physical Description

1 folder

Jacobson, N., dates not examined. 1 folder.
Physical Description

1 folder

Jaffin, George, dates not examined. 1 folder.
Physical Description

1 folder

Jeffrey, Richard G., dates not examined. 1 folder.
Physical Description

1 folder

Jenks, Frederick, dates not examined. 1 folder.
Physical Description

1 folder

Jonsson, Bjarni, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Kanger, Stig, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Kaplan, David, dates not examined. 1 folder.
Physical Description

1 folder

Kaplan, David, dates not examined. 1 folder.
Physical Description

1 folder

Katz, Robert, dates not examined. 1 folder.
Physical Description

1 folder

Kavka, Gregory, dates not examined. 1 folder.
Physical Description

1 folder

Kemeny, John, dates not examined. 1 folder.
Physical Description

1 folder

Keyser, Cassius Jackson, dates not examined. 1 folder.
Physical Description

1 folder

Kleene, Stephen C., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Kneser, Hellmuth, dates not examined. 1 folder.
Physical Description

1 folder

Koenigsberger, Leo and Zeuner, Gustav, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Kondo, M., dates not examined. 1 folder.
Physical Description

1 folder

Korselt, A., dates not examined. 1 folder.
Physical Description

1 folder

Krasner, Marc, dates not examined. 1 folder.
Physical Description

1 folder

Kreisel, Georg, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Kuipers, John W., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Kuratowski, Casimir, dates not examined. 1 folder.
Physical Description

1 folder

Kurepa, Georges, dates not examined. 1 folder.
Physical Description

1 folder

Kuroda, Von Sigekatu, dates not examined. 1 folder.
Physical Description

1 folder

Kushner, Boris, dates not examined. 1 folder.
Physical Description

1 folder

Kustaanheimo, Paul, dates not examined. 1 folder.
Physical Description

1 folder

Lambek, J., dates not examined. 1 folder.
Physical Description

1 folder

Larguier, Everett H., dates not examined. 1 folder.
Physical Description

1 folder

Larkin, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Lefschetz, S., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Lesniewski, Stanislaw, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Levine, J., dates not examined. 1 folder.
Physical Description

1 folder

Levy, Azriel, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Lins, Mario, dates not examined. 1 folder.
Physical Description

1 folder

Linsky, Leonard, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Lucchese, Isabella, dates not examined. 1 folder.
Scope and Contents

(see also Grana, Nicola)

Physical Description

1 folder

Maitra, Madhusudan, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Malitz, Richard, dates not examined. 1 folder.
Physical Description

1 folder

Malitz, Richard, dates not examined. 1 folder.
Physical Description

1 folder

Mar, Gary, dates not examined. 1 folder.
Physical Description

1 folder

Marcus, Ruth Barcan, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Martin, Richard, dates not examined. 1 folder.
Physical Description

1 folder

Mates, Benson, dates not examined. 1 folder.
Physical Description

1 folder

McCall, Storrs, dates not examined. 1 folder.
Physical Description

1 folder

McNaughton, Robert, dates not examined. 1 folder.
Physical Description

1 folder

Mehlberg, Henryk, dates not examined. 1 folder.
Physical Description

1 folder

Mendelsohn, Richard L., dates not examined. 1 folder.
Physical Description

1 folder

Menger, Karl, dates not examined. 1 folder.
Physical Description

1 folder

Meredith, David, dates not examined. 1 folder.
Physical Description

1 folder

Meyer, Robert and Lambert, Karl, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Miller, Robert Dennis, dates not examined. 1 folder.
Physical Description

1 folder

Mitani, Suketaka, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Montague, Richard, dates not examined. 1 folder.
Physical Description

1 folder

Moody, Ernest A., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

Moschovakis, Yiannis, dates not examined. 1 folder.
Physical Description

1 folder

Muller, David, dates not examined. 1 folder.
Physical Description

1 folder

Mullin, Albert, dates not examined. 1 folder.
Physical Description

1 folder

Myhill, John, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

Nietmann, William D., dates not examined. 1 folder.
Physical Description

1 folder

Nomoto, Kazuyuki, dates not examined. 1 folder.
Physical Description

1 folder

Paradies, F., dates not examined. 1 folder.
Physical Description

1 folder

Parsons, Charles, dates not examined. 1 folder.
Physical Description

1 folder

Parsons, Terence, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Pogorzelski, Witold A., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Pour-El, Marian Boykan, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

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

1 folder

Rabin, Michael, dates not examined. 1 folder.
Physical Description

1 folder

Randell, B., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Ree, Rimhak, dates not examined. 1 folder.
Physical Description

1 folder

Regan, Kenneth, dates not examined. 1 folder.
Physical Description

1 folder

Reichbach, Juliusz, dates not examined. 1 folder.
Physical Description

1 folder

Reswick, James B., dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Richter, Wayne, dates not examined. 1 folder.
Physical Description

1 folder

Riesz, Frigyes, dates not examined. 1 folder.
Physical Description

1 folder

Ritchie, Robert, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Robinson, Thacher, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Roque, Sabrina, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Routley, R., dates not examined. 1 folder.
Physical Description

1 folder

Rubin, Herman and Suppes, Patrick, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Salmon, Nathan, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

Scheffler, Israel and Chomsky, Noam, dates not examined. 1 folder.
Physical Description

1 folder

Schlytter, Leslie Evan, dates not examined. 1 folder.
Physical Description

1 folder

Schock, Rolf, dates not examined. 1 folder.
Physical Description

1 folder

Schoenfield, Joseph R., dates not examined. 1 folder.
Physical Description

1 folder

Scholz, Heinrich, dates not examined. 1 folder.
Physical Description

1 folder

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

1 folder

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

1 folder