4 books in series

Oxford Logic Guides

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, Mark A. Reynolds, Marcelo Finger, Laura Crosilla, and Steve Awodey.

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