Sheaves in Geometry and Logic : A First Introduction to Topos Theory - Lane, Saunders Mac; Moerdijk, Ieke. (New York : Springer-Verlag, 1994)
Keywords: Toposes