Lógica para la computación II
Lógica temporal
Profesora:
Inmaculada Pérez de Guzmán Molina
Realizado por: Victor José Arredondo Díaz
Jorge Jurado Cordón