Temporal logic mathematical foundations and computational aspects
Dov M. Gabbay 1945- Ian Hodkinson; Mark Reynolds (Mark A.); Marcelo Finger
Oxford Clarendon Press New York Oxford University Press 1994-2000
Localização:
IME - Inst. Matemática e Estatística
(QA860 G112t v.2 e.1 )(Acessar)