Principia
Solucionador de ejercicios de lógica proposicional y de predicados que muestra pasos intermedios.
| José Eduardo Reyes Sousa |
Universidad Nacional de educación a distancia |
| Salvador Rafael Bernal Marín |
Universidad Nacional de educación a distancia |