logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Marcelo Finger's Books back

language per page order
Temporal Logic: Mathematical Foundations and Computational Aspects - Dov M. Gabbay, Marcelo Finger, Mark A. Reynolds
Temporal Logic: Mathematical Foundations and Computational Aspects
by Dov M. Gabbay (author), Mark A. Reynolds (author), Marcelo Finger (author)
publisher: Oxford University Press, USA publish date: March 30th 2000
format: hardcover pages: 612
language: English
ISBN: 0198537689 (9780198537687)
Need help?