Journals Higher Education

$305.00

Hardcover

25 August 1994

672 Pages | 84 illus.

ISBN: 9780198537694


Bookseller Code (06)

Cover

Temporal Logic

Mathematical Foundations and Computational Aspects

Volume 1

Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds

Oxford Logic Guides

Share:

Also of Interest