(Versión para invidentes, aun no disponible)
Lógica para la computación II
Trabajo sobre:
Lógica temporal
Profesora:
Inmaculada Pérez de Guzmán Molina
Realizado por:
Jorge Jurado Cordón