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



This item is printed to order. Items which are printed to order are normally despatched and charged within 5-10 days.

Published: 21 July 1994

668 Pages | line figures, tables


ISBN: 9780198537694

Bookseller Code (AQ)

Temporal Logic: Mathematical Foundations and Computational Aspects

Volume 1

Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds

Clarendon Press

Oxford Logic Guides

  • Presents frontline, state-of-the-art research
  • An indispensable reference book for both the pure logician and the theoretical computer scientist