On formally undecidable propositions of Principia mathematica and related systems

著者

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

書誌事項

On formally undecidable propositions of Principia mathematica and related systems

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

Dover Publications, 1992

• : pbk

タイトル別名

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

注記

Translation of a paper entitled Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, published 1931 in the Monatshefte für Mathematik und Physik, v. 38, p. 173-198

Reprint. Originally published: New York : Basic Books, c1962

Includes bibliographical references

• NII書誌ID(NCID): BA20362041
• ISBN:
  • 0486669807
• LCCN: 91045947
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 原本言語コード: ger
• 出版地: New York
• ページ数/冊数: viii, 72 p.
• 大きさ: 21 cm
• 分類:
  • LCC : QA248
  • DC20 : 511.3
• 件名:
  • LCSH : Gödel's theorem