Gabbay, Dov M. (1945-...) Temporal logic : mathematical foundations and computational aspects. Volume 1 [TXT]. -- New York : Oxford University Press, c1994
Atención NO ES UNA RESERVA!
Es solo a los efectos de disponer de los datos del ejemplar para solicitarlo a biblioteca.
Tenga presente también que puede seleccionar favoritos
(los documentos que le interesen) durante su
sesión y obtener una lista de ellos.
Formulario para Solicitud de Material
Gabbay, Dov M. (1945-...)
Temporal logic : mathematical foundations and computational aspects. Volume 1 [TXT]. -- New York : Oxford University Press, c1994
Bibliografía: p. 591-639
ISBN: 0198537697
1. PROGRAMACION DE COMPUTADORAS; 2. MATEMATICAS; 3. LOGICA I. Hodkinson, Ian D. II. Reynolds, Mark (1962-...)
Pérgamo OPAC Web