Turing, Alan, dates not examined

1 folder

Collection Overview

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.

Collection History

Archival Appraisal Information:

No appraisal information is available.

Processing Information:

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

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:

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

Firestone Library
One Washington Road
Princeton, NJ 08544, USA
(609) 258-3184