4 books in series
Oxford Logic Guides
Oxford Logic Guides is a 4-book series with 4 primary works first released in 1992 with contributions by Colin McLarty, Dov M. Gabbay, and 5 others.
#40
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2
ByDov M. Gabbay,Mark A. Reynolds,+1 more
1994 • 1 Reader • 616 pages
#48
2005 • 1 Reader • 350 pages
