Sheaves in geometry and logic: a first introduction to topos theory by Mac Lane, Saunders,, wiskundige, Moerdijk, Ieke, (Izak) 0 Type: Book
