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 sheafi... »