Sheaves in geometry and logic : a first introduction to topos theory /
Saunders Mac Lane, Ieke Moerdijk.
- New York : Springer-Verlag, c1994.
- xii, 629 p. : ill. ; 23 cm.
- Universitext .
Euro: 69.99/- TB742/19
Includes bibliographical references (p. 603-612) and indexes.
9780387977102 (pbk.)
Toposes. Logic, Symbolic and mathematical K-theory Mathematics Geometry