TY  - BOOK
AU  - Gödel,Kurt
AU  - Garrido,Manuel
AU  - García Suárez,Alfonso
AU  - Valdés Villanueva,Luis M.
TI  - Sobre proposiciones formalmente indecidibles de los principia mathematica y sistemas afines,
SN  - 9788496476950
AV  - QA 248 G6218.2009
PY  - 2009///
CY  - Oviedo
PB  - KRK Ediciones
KW  - Teorema de Gödel
N1  - Incluye referencias bibliográficas
ER  -