Church, Alonzo

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-A-9

1 ALS and 2 TLS to M.H.A. Newman regarding publication of AMT's papers from Harold Davenport, Kurt…