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