Sheaves in geometry and logic : a first introduction to topos theory
An introduction to the theory of toposes which begins with illustrative examples and goes on to explain the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes and geometric morphisms and their relation to logic
Print Book, English, ©1992
Springer-Verlag, New York, ©1992