Toposes and local set theories: an introduction by Bell, John Lane fromOxford logic guides 0 Type: Book
Toposes and local set theories: an introduction by Bell, John Lane fromOxford logic guides 0 Type: Book
Sheaves in geometry and logic: a first introduction to topos theory by Mac Lane, Saunders, Moerdijk, Ieke fromUniversitext 0 Type: Book
Sheaves in geometry and logic: a first introduction to topos theory by MacLane, Saunders, Moerdijk, Ieke fromUniversitext 0 Type: Book
Freyd's models for the independence of the axiom of choice by Blass, Andreas, Scedrov, Andrej fromMemoirs of the American Mathematical Society 0 Type: Book
Axiomatization of passage from "local" structure to "global" object by Feit, Paul fromMemoirs of the American Mathematical Society 0 Type: Book
Axiomization of passage from local structure to global object by Feit, Paul fromMemoirs of the American Mathematical Society 0 Type: Book
Proper maps of toposes by Moerdijk, Ieke, Vermeulen, Jacob Johan Caspar fromMemoirs of the American Mathematical Society 0 Type: Book
Duality and dafinability in first order logic by Makkai, Michael fromMemoirs of the American Mathematical Society 0 Type: Book
