On formally undecidable propositions of Principia mathematica and related systems

著者

• Gödel, Kurt
• Meltzer, Bernard N.
• Braithwaite, R. B. (Richard Bevan)

書誌事項

On formally undecidable propositions of Principia mathematica and related systems

Kurt Gödel ; translated by B. Meltzer ; with introduction by R.B. Braithwaite

Basic Books, c1962

詳細情報

• NII書誌ID(NCID): BA04940715
• LCCN: 71116736
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 原本言語コード: ger
• 出版地: New York
• ページ数/冊数: viii, 72 p.
• 大きさ: 18 cm
• 分類:
  • LCC : QA9
  • DC : 164
• 件名:
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Mathematics -- Philosophy