Objetos abstractos: demostración en teoremas básicos en teorías de conjuntos häftadSpanska, 2016