ISBN 0198537697 books & textbook
Temporal Logic: Mathematical Foundations and Computational AspectsVolume 1 (Oxford Logic Guides)
Gabbay, Dov M. Hodkinson, Ian Reynolds, Mark
Clarendon Press /1994-08-25 Hardcover / 668 Pages
isbn-10: 0198537697 / isbn-13: 9780198537694
