Sets, Models and Proofsde Ieke Moerdijk, Jaap van OostenMateriasMathematicsEdiciones (1)Sets, Models and Proofs (2018)Springer · ISBN 9783319924137Más obras de Ieke MoerdijkSimplicial Methods for Operads and Algebraic GeometryProper maps of toposesAAlgebraic Set TheoryAlgebraic Set Theory