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

by: Dov M. Gabbay · M. Finger · M. Reynolds Hardcover details (UK). ISBN: 978-0-19-853768-7 ISBN-10: 0-19-853768-9 OUP Oxford · 2000