Mark A. Reynolds's most popular book is Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2 with 1 save and an average rating of -.
Series
5 primary books4 released booksAuthored 25% of series
Oxford Logic Guides is a 4-book series with 4 released primary works first released in 1992 with contributions by Colin McLarty, Dov M. Gabbay, and Mark A. Reynolds.