Temporal logic : mathematical foundations and computational aspects. Vol. 1.

Dov M. Gabbay, Ian Hodkinson and Mark Reynolds
Bok · Engelsk · 1994

Utgitt	Oxford : Clarendon Press , 1994
Omfang	XIV, 653 s. : ill.
Emner	Electronic digital computers - Programming Logic, Symbolic and mathematical
Dewey	160
ISBN	0198537697