Grupo de Lógica Matemática y Teoría de Conjuntos. Facultad de Ciencias, Universidad Nacional Autónoma de México. Integrantes, líneas de trabajo y artículos sobre lógica matemática y computacional y conjuntos.
Lógica y teoría de conjuntos Manuales de Lógica y teoría de conjuntos, Pruebas de consistencia, Análisis no estándar, Álgebra y Funciones de variable compleja (universidad de Valencia).