Browse the Turing Digital Archive

Contents of AMT/C/6 (up to C)

TS, ‘A practical form of type theory II’ with AMS annotations. c. 1948. This 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 MS note by R.O. Gandy, ‘Pages no^d by ROG as they lay (manuscript pages given letter, e.g., 50A, 50B, etc)’. Includes many AMS additional papers, numbered 1-81, followed by a sequence of manuscript pages as follows: 1, ‘note to p.7’, 2-16, 18, 19, 22.

Paper, 125 items in envelope.

Keywords: ‘A practical form of type theory II’

Provenance: Assembled after AMT’s death by Dr. Robin Gandy, to whom these manuscripts were left by AMT in his will (see A/5).

001	002	002a	003	003a	003b
004	005	006	007	008	009
010	011	012	013	013a	014
015	016	017	018	019	020
021	022	023	023a	023b	024
025	025a	025b	026	026a	026b
027	028	029	030	031	032
033	033a	034	034a	035	036
036a	037	037a	038	038a	039
040	041	041a	042	043	044
045	045a	046	047	047a	047b
047c	047d	048	049	050	051
051a	051b	051c	051d	052	052c
053	053a	053b	053c	054	054a
055	056	057	058	059	060
061	062	063	064	065	066
066a	067	068	069	070	070a
071	072	072a	073	074	075
076	077	078	079	080	081
081a	082	083	083a	084	084a
085	085a	086	086a	087	087a
088	088a	089	089a	090	090a
091	091a	092	092a	093	094
094a	095	095a	096	096a	097
097a	098	098a	099	099a	100
100a	101	101a