Software educativo para el aprendizaje de Lógica matemática con verificación continua y analítica - Brito Portero, Pedro Ramiro (2006)