Introducción a la historia a la filosofía de la matemática. Volumen 2, hacia la formalización en Hilbert y en Bourbaki - Campos, Alberto (Editorial Universidad Nacional de Colombia, 2008)