Forero Cuervo, Andrés
Caicedo Ferrer, Xavier
Lógica simbólica y matemática
Teoría de modelos
Trabajo de grado - Maestría