Delete |
Sheaves in Geometry and Logic: A First Introduction to Topos Theory [Buy it!] | Saunders MacLane | USD 86.45 (Sun May 26 04:39:18 2024) | Biblio | The Saint Bookstore | Paperback / softback. New. Sheaves also appear in logic as carriers for models of set theory. Beginning with several examples, it explains the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes and geometric morphisms and their relation to logic. ISBN 0387977104 9780387977102 [GB] |