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, 2014, c2012

• : pbk

Other Title

Systems of logic

Note

"Second printing, and first paperback printing, 2014" -- T.p. verso

Details

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