Home Advanced Search

Advanced Search - Page 1

Sets, Models and Proofs
  • PDF
  • English
  • Year: 2018
  • Author: Ieke Moerdijk, Jaap van Oosten
Sets, Models and Proofs
  • EPUB
  • English
  • Year: 2018
  • Author: Ieke Moerdijk; Jaap van Oosten
Topos Theory
  • PDF
  • English
  • Year: 2007?
  • Author: I. Moerdijk and J. van Oosten
Realizability: An introduction to its categorical side
  • PDF
  • English
  • Year: 2008
  • Author: Jaap van Oosten
Notes on Homological Algebra (homalg2007)
  • PDF
  • Year: 2008
  • Author: Ieke Moerdijk
Simplicial and Dendroidal Homotopy Theory (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, 75)
  • PDF
  • English
  • Year: 2022
  • Author: Gijs Heuts, Ieke Moerdijk
Simplicial methods for operads and algebraic geometry
  • PDF
  • English
  • Year: 2010
  • Author: Ieke Moerdijk, Bertrand Toën (auth.)
Models for smooth infinitesimal analysis
  • DJVU
  • English
  • Year: 1991
  • Author: Ieke Moerdijk, Gonzalo E. Reyes
Models for Smooth Infinitesimal Analysis
  • PDF
  • English
  • Year: 1991
  • Author: Ieke Moerdijk, Gonzalo E. Reyes (auth.)
Sheaves in Geometry and Logic: A First Introduction to Topos Theory
  • PDF
  • English
  • Year: 1992
  • Author: Saunders Mac Lane, Ieke Moerdijk (auth.)
search