Journals Higher Education



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

Published: 30 March 2000

612 Pages | line figures


ISBN: 9780198537687

Bookseller Code (AQ)

Temporal Logic: Mathematical Foundations and Computational Aspects

Volume 2

Dov M Gabbay, M. Finger, and M. Reynolds

Oxford Logic Guides

Mathematical logic is an area of interest to workers in philosophy and computer science as well as mathematics. This book, the companion to an ...