De la abstracción simbólica a la fundamentación de la matemática: hacia una historia de los sistemas formales axiomatizados - Benítez Oliva, José Alberto (Universidad Autónoma Metropolitana, 2000)