Sheaves in Geometry and Logic

This graduate-level text presents topos theory as it has developed from the study of sheaves and is unique in its scope, discussing such topics as the sheafification process and the properties of an elementary topos, applications to axiomatic set theory and use in forcing, geometric morphisms and th