Sheaves in geometry and logic (1992)

by S Mac Lane, I Moerdijk