Sistemas formales, informalmente: por qué intentaron formalizar a la matemática si era tan buena muchacha - Gómez, Pedro; Gómez, Cristina (Iberoamérica, 1995)