and Ieke Moerdijk. Sheaves in geometry and logic. Universitext (1994)

by Saunders Mac Lane