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  - 9706251057
AV  - QA12 G6.7
PY  - 1995///
CY  - México
PB  - Iberoamérica
KW  - Matemáticas
ER  -