'A practical form of type theory II'

AMT-C-6

TS, 'A practical form of type theory II' with AMS annotations. c. 1948. This was intended as a…