Sheaves in geometry and logic : 
Mac Lane, Saunders, 
 - New York :  Springer-Verlag,  1992 
 - xii, 627 p. :  ill. ;  24 cm. 
<br/><br/><label>ISBN: </label>9780387977102 (New York : acidfree paper) | 3540977102 (Berlin : acidfree paper)