On formally undecidable propositions of Principia mathematica and related systems
By: Kurt Gödel ; translated by B. Meltzer ; introduction by R.B. Braithwaite.
Publisher: Dover Publications
Published: 1992
Place of publication: New York, USA
Language: eng
Number of pages: 72
Subjects: Gödel's theorem.
Notes: Includes bibliographical references.
Translation of a paper entitled Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, published 1931 in the Monatshefte für Mathematik und Physik, v. 38, p. 173-198.
Reprint. Originally published: New York : Basic Books, c1962.