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
Elementary Categories, Elementary Toposes

1992 • 280 pages

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

1994 • 1 Reader • 616 pages

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

2005 • 1 Reader • 350 pages

#52
Category Theory

2006 • 8 Readers • 336 pages • 4