Home » Browse the archive » AMT/C: Unpublished manuscripts and drafts » AMT/C/6

AMT/C/6

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 nod 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).

Copyright: Copyright © P.N. Furbank

  • 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

Back to AMT/C | Browse the archive | Back to the top

Copyright & terms of use | Contacts

Home

Turing Digital Archives