Journals Higher Education
Important OUP's Response to COVID-19 Learn more



Published: 25 August 1994

672 Pages | 84 illus.

ISBN: 9780198537694

Bookseller Code (06)

Temporal Logic

Mathematical Foundations and Computational Aspects

Volume 1

Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds

A Clarendon Press Publication

Oxford Logic Guides


Also of Interest