Home » Browse the archive » AMT/C: Unpublished manuscripts and drafts » AMT/C/4

AMT/C/4

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

Back to AMT/C | Browse the archive | Back to the top

Copyright & terms of use | Contacts

Home

Turing Digital Archives