TY  - BOOK
AU  - Gödel, Kurt
AU  - Gödel, Kurt
TI  - On formally undecidable propositions of Principia mathematica and related systems
SN  - 9780486669809
U1  - 510.1 GOD 
PY  - 1992///
CY  - New York
PB  -  : Dover Publications
KW  -  Mathematics
KW  - Gödel's theorem
N1  - Translation of a paper entitled Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, published 1931 in the Monatshefte für Mathematik und Physik, v. 38, p. 173-198.
Reprint. Originally published: New York : Basic Books, ©1962
ER  -