TY  - BOOK
AU  - Mac Lane,Saunders
AU  - Moerdijk,Ieke
TI  - Sheaves in geometry and logic: a first introduction to topos theory 
T2  - Universitext
SN  - 9780387977102 (pbk.)
U1  - 512.55 MAC 20
PY  - 1994///
CY  - New York
PB  - Springer-Verlag
KW  - Toposes
KW  - Logic, Symbolic and mathematical
KW  - K-theory
KW  - Mathematics
KW  - Geometry
N1  - Euro: 69.99/-
TB742/19; Includes bibliographical references (p. 603-612) and indexes
ER  -