Home / Authors / Dov. M. Gabbay, Mark A. Reynolds, Marcelo Finger

Books by Dov. M. Gabbay, Mark A. Reynolds, Marcelo Finger

All books by this author

1 books found
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2
Temporal Logic: Mathematical Foundations and Computational …
By: Dov. M. Gabbay, Mark A. Reynolds, Marcelo Finger
View Details