Escribió los primeros libros de texto modernos y rigurosos de lógica y teoría de conjuntos en español.