TY  - BOOK
AU  - Gödel, Kurt
TI  - On formally undecidable propositions of Principia mathematica and related systems
SN  - 9780486669809
SN  - 91045947
U1  - 511.3 GOD 
PY  - 1992///
CY  - Mineola, NY
PB  - Dover Publications
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, c1962. Includes bibliographical references
ER  -