TY  - BOOK
AU  - Godel,Kurt
AU  - Meltzer,B.
AU  - Braithwaite,R.B.
TI  - On Formally undecidable proposition of principia mathematica and related sistems 
SN  - 0486669807 (papel alcalino)
AV  - BC50 G63 1992
PY  - 1992///
CY  - New York : 
PB  - Dover Publications, 
KW  - Teorema de Gödel
ER  -