Advances in Temporal Logic (Applied Logic Series)

by: Howard Barringer · Michael Fisher · Dov M. Gabbay · Graham Gough

Hardcover

details (USA).

ISBN: 978-0-7923-6149-7

ISBN-10: 0-7923-6149-0

Springer · 1999