« Home

Reference. Sheaves in Geometry and Logic: A First Introduction to Topos Theory [shgl1994]