Catalogue description 'A practical form of type theory I.'

This record is held by Cambridge University: King's College Archive Centre

Details of AMT/B/3
Reference: AMT/B/3
Title: 'A practical form of type theory I.'
Description:

The file comprises a heavily revised typescript, pages numbered 1-30, with 3 additional un-numbered pages, the last bearing a note by R. O. Gandy, 'Practical forms of type theory. First draft'. Pages 1-2 of this document explain the purpose of the paper, which was to have appeared in two parts. The first part, considerably altered from the draft, appeared as 'Practical forms of type theory' in 'Journal of Symbolic Logic' (Vol. 13, No.2, June 1948, pp. 80-94). An off-print of this article, sent to A. E. Ingham 'with the author's compliments', is included. See online copies at the Turing Digital Archive
Date: 1948
Related material:

See C/6 and D/2 for the manuscript of Part II of the projected work.
Held by: Cambridge University: King's College Archive Centre, not available at The National Archives
Language: English
Physical description: 41 sheets in envelope paper
Publication note:

Bibliography number RS 1948b.

Have you found an error with this catalogue description?

Help with your research