Logo Biblioteca

Bibliotecas UNLAM
Catálogo Bibliográfico

Bibliotecas UNLAM
Catálogo Bibliográfico

Logo UNLAM
511.3 GAB

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-...)

  (1) Inv.: 1022532 S.T.: 511.3 GAB
1 Ejemplar
U. Info. Inventario S.T. / Ubicación
1022532 511.3 GAB

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-...)

(1) Inv.: 1022532 S.T.: 511.3 GAB
Solicitante: