Search

Start Over Subject Logic, Symbolic and mathematical

Main content

Kurt Gödel Papers, 1905-1980 (inclusive) 1930-1970 (bulk)

Extent:
30.75 linear feet (54 boxes, 22 items, and 9 reels)
Abstract:
The papers comprise documents relating to all periods of the life of Kurt Gödel, foremost mathematical logician of the twentieth century, including scientific correspondence, notebooks, drafts, unpublished manuscripts, academic, legal, and financial records, and all manner of loose notes and memoranda.

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

Main content

Alonzo Church Papers, 1924-1995 (inclusive)

Extent:
85 boxes and 35.1 linear feet
Abstract:
The Alonzo Church Papers consists of the writings, correspondence, notebooks, notes, and subject files of Alonzo Church (1903-1995, Princeton Class of 1924), the renowned mathematical logician who taught at Princeton University from 1929-1967 and the University of California at Los Angeles from 1967 to 1990, and who was editor of the Journal of Symbolic Logic from 1936 to 1979.

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