On formally undecidable propositions of Principia mathematica and related systems.
Gödel, Kurt.
On formally undecidable propositions of Principia mathematica and related systems. Translated by B. Meltzer. With introd. by R.B. Braithwaite. - New York Basic Books [c1962] - 72 p. 19 cm.
Translation of paper entitled Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, published in the Monatshefte für Mathematik und Physik, v. 38, p. 173-198, 1931.
63017441 /L/r84
Gödel's theorem.
QA248 / .G573
510.1
On formally undecidable propositions of Principia mathematica and related systems. Translated by B. Meltzer. With introd. by R.B. Braithwaite. - New York Basic Books [c1962] - 72 p. 19 cm.
Translation of paper entitled Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, published in the Monatshefte für Mathematik und Physik, v. 38, p. 173-198, 1931.
63017441 /L/r84
Gödel's theorem.
QA248 / .G573
510.1