- Collection Overview
- Collection Description & Creator Information
- Access & Use
- Collection History
- Find Related Materials
"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
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:
"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; Alonzo Church Papers, C0948, Manuscripts Division, Department of Special Collections, Princeton University Library
- Firestone LibraryOne Washington RoadPrinceton, NJ 08544, USA
- Storage Note:
- Firestone Library (mss): Box 2