01
02
03
04
05
06
07
07a
Untitled TS with AMS annotations. n.d. Probably continuation of ‘Some theorems about Church’s system’. Pages numbered 37-43, beginning ‘§5. Consequences of the Peano axioms’.
Paper, 7 sh. in envelope.
Keywords: Church, Alonzo; Church’s system; ‘Some theorems about Church’s system’
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
01 |
02 |
03 |
04 |
05 |
06 |
07 |
07a |
Copyright © University of Southampton and King's College Cambridge 2002,2003 — Terms of Use