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

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

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

This series 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.