Gómez, Pedro. Sistemas formales, informalmente : por qué intentaron formalizar a la matemática si era tan buena muchacha? / Pedro Gómez, Cristina Gómez. - Santa Fe de Bogotá : Universidad de los Andes, 1992. - 130 p. : il. ; 21 cm. Incluye bibliografías. ISBN: 9589216072 Nat. Bib. No.: ck-1992-xxxx Subjects--Topical Terms: Historia de las matemáticas.Teorema de Godel. Dewey Class. No.: 510.1 / G633s