Temporal logic : mathematical foundations and computational aspects / Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds.

Saved in:

Bibliographic Details
Main Author:	Gabbay, Dov M., 1945-
Other Authors:	Hodkinson, Ian, Reynolds, Mark (Mark A.)
Format:	Book
Language:	English
Published:	Oxford : New York : Clarendon Press ; Oxford University Press, 1994-
Series:	Oxford logic guides ; 28 Oxford science publications
Subjects:	Computer programming. Logic, Symbolic and mathematical.

Holdings details from Science Library
Call Number:	QA76.6 .G27 1994
v.1, Status:	Available

Similar Items