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

$305.00

Hardcover

Published: 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: