Sheaves in Geometry and Logic by Saunders Mac Lane, Ieke Moerdijk & MacLane Sanders