Sheaves in geometry and logic: A first introduction to topos theory
Saunders Mac Lane, Ieke Moerdijk
- New York Springer-Verlag c1992
- xii, 627 p ill 24 cm
- Universitext .
eng
0387977104 (New York : acid-free paper) 3540977104 (Berlin : acid-free paper)