Journals Higher Education

$300.00

Hardcover

01 June 2000

616 Pages | 83 line illus

ISBN: 9780198537687


Bookseller Code (06)

Temporal Logic

Mathematical Foundations and Computational Aspects

Volume 2

Dov. M. Gabbay, Mark A. Reynolds, and Marcelo Finger

Oxford Logic Guides

Share:

Also of Interest