Mark A. Reynolds

Mark A. Reynolds

Mark A. Reynolds has written at least 1 book. Their most popular book is Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2 with 1 save with an average rating of -⭐.

They are best known for writing in the genre Computers.

Series

5 primary books

Authored 20% of 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.

#21
Elementary Categories, Elementary Toposes
#40
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2
#48
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
#52
Category Theory