Sheaves in geometry and logic : a first introduction to topos theory /

Bibliographic Details
Main Author: Mac Lane, Saunders, 1909-2005
Other Authors: Moerdijk, Ieke
Format: Book
Language:English
Published: New York : Springer, 1992.
Series:Universitext
Subjects: