Church's system
AMT-D-2
Folder inscribed by R.O. Gandy, 'Letters from AMT to MHAN [Professor Max Newman] (c. 1940) mostly…
AMT-C-3
TS, 'Some theorems about Church's system'*, with AMS annotations. n.d. Includes MS note by R.O.…
AMT-C-4
Untitled TS with AMS annotations. n.d. Probably continuation of 'Some theorems about Church's…
AMT-C-5
Untitled TS with AMS annotations. n.d. Probably continuation of 'Some theorems about Church's…
AMT-B-16
Off-print, 'The use of dots as brackets in Church's system' from The Journal of Symbolic Logic, (…
AMT-B-29
Newman, M.H.A. and AMT; Off-print, 'A formal theorem in Church's theory of types' from The Journal…