Alan Turing's systems of logic : the Princeton thesis

著者

• Turing, Alan Mathison
• Appel, Andrew W.

書誌事項

Alan Turing's systems of logic : the Princeton thesis

edited and introduced by Andrew W. Appel

Princeton University Press, c2012

タイトル別名

Systems of logic based on ordinals

Turing's thesis

注記

"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

詳細情報

• NII書誌ID(NCID): BB0988888X
• ISBN:
  • 9780691155746
• LCCN: 2012931772
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Princeton, N.J. ; Woodstock
• ページ数/冊数: xv, 142 p.
• 大きさ: 26 cm
• 分類:
  • DC23 : 511.3
• 件名:
  • LCSH : Logic, Symbolic and mathematical