海量图书期刊资源,随时随地畅享阅读乐趣
Mac Lane Saunders and Moerdijk Ieke. Sheaves in geometry and logic. A first introduction to topos theory. Universitext. Springer-Verlag, New York, Berlin, etc., 1992, xii – 627 pp.Pitts, Andrew M. · The Journal of Symbolic Logic · 1995
[Universitext] Sheaves in Geometry and Logic ||Mac Lane, Saunders; Moerdijk, Ieke · 1992
[Universitext] Sheaves in Geometry and Logic || PrologueMac Lane, Saunders; Moerdijk, Ieke · 1992
[Universitext] Sheaves in Geometry and Logic || Categorical PreliminariesMac Lane, Saunders; Moerdijk, Ieke · 1992
[Universitext] Sheaves in Geometry and Logic || Geometric MorphismsMac Lane, Saunders; Moerdijk, Ieke · 1992
[Universitext] Sheaves in Geometry and Logic || Classifying TopoiMac Lane, Saunders; Moerdijk, Ieke · 1992
[Universitext] Sheaves in Geometry and Logic || Localic TopoiMac Lane, Saunders; Moerdijk, Ieke · 1992
[Universitext] Sheaves in Geometry and Logic || Categories of FunctorsMac Lane, Saunders; Moerdijk, Ieke · 1992
[Universitext] Sheaves in Geometry and Logic || Sheaves of SetsMac Lane, Saunders; Moerdijk, Ieke · 1992