3 books • 2 series
Applications of Categories in Computer Science
Notes on Logic and Set Theory
Topos Theory (London Mathematical Society Monographs) (Dover Books on Mathematics)