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

• : pbk

タイトル別名

Systems of logic

注記

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

詳細情報

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