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.

Elementary Categories, Elementary Toposes
#21First

1992 • 280 pages

Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2
#40

1994 • 1 Reader • 616 pages

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
#48

2005 • 1 Reader • 350 pages

Category Theory
#52Popular

2006 • 4 Readers • 336 pages