'Some theorems about Church's system'

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…