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
| 0 | 0 reads | ||
| #40 |  Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2
| 0 | 1 read | ||
| #48 |  From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
| 0 | 1 read | ||
| #52 |  Category Theory
| 4 | 2 reads |