Sheaves in Geometry and Logic

Our views of topos theory, as presented here, have been shaped by continued study, by conferences, and by many personal contacts with friends and colleagues-including especially O. Our presentation combines ideas and results from these people and from many others, but we have not endeavored to specify the various original sources.