On formally undecidable propositions of Principia mathematica and related systems.
Subtitle: Translated by B. Meltzer.  With introd. by R.B. Braithwaite.
Publisher: Oliver & Boyd
Published: 1962
Place of publication: Edinburgh
Language: eng
Number of pages: 72
Subjects: Gödel's theorem