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, Mark A. Reynolds, Marcelo Finger, Laura Crosilla, and Steve Awodey.
#21 of 5 in Oxford Logic Guides
1992 • 280 pages
#40 of 5 in Oxford Logic Guides
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2
ByDov M. Gabbay,Mark A. Reynolds,+1 more
1994 • 1 Reader • 616 pages
#48 of 5 in Oxford Logic Guides
2005 • 1 Reader • 350 pages
