Temporal logic mathematical foundations and computational aspects. volume 2 /
Gabbay, Dov M., 1945-
Temporal logic mathematical foundations and computational aspects. volume 2 / [Book] : Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds. - Oxford : New York : Clarendon Press ; Oxford University Press, 1994-2000. - 2 v. : ill. ; 24 cm. - Oxford logic guides ; 40 Oxford science publications .
All.
0198537689
Computer programming.
Logic, Symbolic and mathematical.
511.3
Temporal logic mathematical foundations and computational aspects. volume 2 / [Book] : Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds. - Oxford : New York : Clarendon Press ; Oxford University Press, 1994-2000. - 2 v. : ill. ; 24 cm. - Oxford logic guides ; 40 Oxford science publications .
All.
0198537689
Computer programming.
Logic, Symbolic and mathematical.
511.3