Sheaves in geometry and logic, a first introduction to topos theory. Second corrected printing. - Springer Verlag, 1994. - ( Universitext ).