Sheaves in geometry and logic - Mac Lane Saunders; Moerdijk Leke (New York Springer Verlag, 1992)