Saunders Mac Lane • Ieke Moerdijk

Sheaves in geometry and logic: A first introduction to topos theory

10.1007/978-1-4612-0927-0