TY  - BOOK
AU  - Godel, Kurt,
AU  - Meltzner, B.
AU  - Braithwaitr, R. B.,
AU  - Godel,Kurt
TI  - On formally undecidable propositions of principia mathematica and related systems
SN  - 0-486-66980-7
AV  - QA248 G6213
PY  - 1992///
CY  - New York
PB  - Dover
KW  - Teorema de Gödel
N1  - Reimpreso originalmente publicado: New York : Basic Books, c1962; Traducción del documento publicado en 1931 en la Monatshefte fur mathematik und physik, v. 38, p. 173-198
ER  -