Desarrollo de una aplicación base para el aprendizaje de la lógica proposicional - Vargas-López, Javier (J. Vargas L., 1997)
Consultar en el disco de computadora: apéndices