Sheaves in geometry and logic. : A first introduction to topos theory. - Mac Lane, Saunders, 1909-2005; Moerdijk, Ieke (New York-Berlin-Heidelberg : Springer-Verlag, 1992)
Keywords: teória toposov; zväzky matematické; geometria; logika; základy; učebnice