TY  - BOOK
AU  - Gödel,Kurt
TI  - On formally undecidable propositions of Principia mathematica and related systems
AV  - QA248 .G573
U1  - 510.1 
PY  - 1962///]
CY  - New York
PB  - Basic Books
KW  - Gödel's theorem
KW  - Local
N1  - 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
ER  -