Temporal Logic: Volume 1: Mathematical Foundations and Computational Aspects: Vol 1 (Oxford Logic Guides)

Mathematical

by: Dov M. Gabbay · Ian Hodkinson · Mark Reynolds

Hardcover

details (United Kingdom).

ISBN: 978-0-19-853769-4

ISBN-10: 0-19-853769-7

Clarendon Press · 1994