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.

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 © The Provost and Scholars of King's College Cambridge

Please read the terms of use if you wish to download the PDF file below