Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel

著者

• Mostowski, Andrzhei︠a︡

書誌事項

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel

Andrzej Mostowski

（Studies in logic and the foundations of mathematics）

Greenwood Press, 1982

注記

Bibliography: : p. [116]-117

Reprint ed. Originally published: Amsterdam : North-Holland , 1952

詳細情報

• NII書誌ID(NCID): BA13738555
• ISBN:
  • 0313231516
• LCCN: 82011886
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: und
• 出版地: Westport
• ページ数/冊数: viii, 117 p.; 23 cm
• 分類:
  • LCC : BC135
  • DC : 164
• 件名:
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Semantics (Philosophy)
  • LCSH : Gödel's theorem
• 親書誌ID:
  • BA00099329