On formally undecidable propositions of Principia mathematica and related systems

Author(s)

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

Bibliographic Information

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

Details

• NCID: BA04940715
• LCCN: 71116736
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Original Language Code: ger
• Place of Publication: New York
• Pages/Volumes: viii, 72 p.
• Size: 18 cm
• Classification:
  • LCC : QA9
  • DC : 164
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Mathematics -- Philosophy