LI2011: Ejercicios de deducción natural en lógica de primer orden
En la clase de hoy del curso Lógica Informática se han comentado las soluciones de los ejercicios de deducción natural.
En Ejercicios de deducción natural en lógica de primer orden se encuentran las soluciones de los ejercicios propuestos de deducción natural en lógica de primer orden.