Tesis de grado Diseño de asistente para derivaciones esquemáticas del sistema de deducción natural de lógica de primer orden Autor(es): Pais Falero, Jorge Andrés
Fecha de publicación: 2013
Institución: Universidad ORT Uruguay