Alan Turing's systems of logic : the Princeton thesis

書誌事項

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

大学図書館所蔵 件 / 8

この図書・雑誌をさがす

注記

"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
  • 分類
  • 件名
ページトップへ