On formally undecidable propositions of Principia mathematica and related systems.
By: Translated by B. Meltzer. With introd. by R.B. Braithwaite.
Publisher: Basic Books
Published: 1962
Place of publication: New York
Language: eng
Number of pages: 72
Subjects: Gödel's theorem.
Notes: Translation of paper entitled Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, published in the Monatshefte für Mathematik und Physik, v. 38, p. 173-198, 1931.