- Collection Overview
- Collection Description & Creator Information
- Access & Use
- Collection History
- Find Related Materials
NSF Journal of Symbolic Logic "Backlog" Project, 1964-1967
Collection Description & Creator Information
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.
- Archival Appraisal Information:
No appraisal information is available.
Access & Use
- Access Restrictions:
Collection is open for research use.
- Conditions for Reproduction and Use:
Single photocopies may be made for research purposes. No further photoduplication of copies of material in the collection can be made when Princeton University Library does not own the original. Inquiries regarding publishing material from the collection should be directed to RBSC Public Services staff through the Ask Us! form. The library has no information on the status of literary rights in the collection and researchers are responsible for determining any questions of copyright.
- Credit this material:
NSF Journal of Symbolic Logic "Backlog" Project; Alonzo Church Papers, C0948, Manuscripts Division, Department of Special Collections, Princeton University Library
- Firestone LibraryOne Washington RoadPrinceton, NJ 08544, USA(609) 258-3184