Catalogue description 'A practical form of type theory II'

The file comprises a typescript with autograph manuscript annotations. This paper was intended as a continuation of B/3, the contents being summarised on page 1 by AMT, 'In this paper theorems A and B enunciated in Part 1 are proved'. Page 1 also bears a manuscript note by R. O. Gandy, 'Pages nod by ROG as they lay (manuscript pages given letter, e.g., 50A, 50B, etc)'. The file includes many autograph manuscript additional papers, numbered 1-81, followed by a sequence of manuscript pages as follows: 1, 'note to p.7', 2-16, 18, 19, 22. See online copies at the Turing Digital Archive