Gödel, Kurt. <br/><br/>
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. 
<br/><br/> 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. 
<br/><br/><label>LCCN: </label>63017441 /L/r84 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Gödel's theorem.
<br/><br/><label>LC Class. No.: </label>QA248  / .G573 
<br/><br/><label>Dewey Class. No.: </label>510.1