On formally undecidable propositions ofPrincipia mathematica and related systems
By: Kurt Gödel ; translated by B. Meltzer ; introduction by R.B. Braithwaite.
Publisher: Dover Pubns.
Published: 1992
Place of publication: New York
Language: eng
Notes: Republication of ed., Basic Books, 1962.

Translation of,  Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I.