Journals Higher Education

$305.00

Hardcover

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

Share: