TY  - BOOK
AU  - Gómez, Pedro.
AU  - Gómez, Cristina.
TI  - Sistemas formales, informalmente : : por qué intentaron formalizar a la matemática si era tan buena muchacha? / 
SN  - 9589216072
U1  - 510.1  19 ed.
PY  - 1992///
CY  - Santa Fe de Bogotá : 
PB  - Universidad de los Andes, 
KW  - Historia de las matemáticas
KW  - Teorema de Godel
N1  - Incluye bibliografías
ER  -