Alan Turing's systems of logic : the Princeton thesis

Author(s)

• Turing, Alan Mathison
• Appel, Andrew W.

Bibliographic Information

Alan Turing's systems of logic : the Princeton thesis

edited and introduced by Andrew W. Appel

Princeton University Press, c2012

Other Title

Systems of logic based on ordinals

Turing's thesis

Note

"This volume presents the manuscript of Alan Turing's PhD thesis."--Pref.

"Solomon Feferman's "Turing's Thesis,"originally published in the Notices of the AMS, vol.53, no.10"--T.p.verso

Details

• NCID: BB0988888X
• ISBN:
  • 9780691155746
• LCCN: 2012931772
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Princeton, N.J. ; Woodstock
• Pages/Volumes: xv, 142 p.
• Size: 26 cm
• Classification:
  • DC23 : 511.3
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical