Goldblatt, Robert
Topoi : The categorial analysis of logic / Robert Goldblatt - 483 página. -- Fotocopias empastadas
Mathematics - Set theory -- What categories are -- Arrows instead of epsilon -- Introducing Topoi -- Topos structure: first steps -- Logic classically conceived -- Algebra of subobjects -- Intuitionism and its logic -- Functors -- Set concepts and validity -- Elementary truth -- Categorial set theory -- Arithmetic -- Local truth -- Adjointness and quantifiers --
Logica matematica
Matematicas fundamentos
510.3 / / G312
Topoi : The categorial analysis of logic / Robert Goldblatt - 483 página. -- Fotocopias empastadas
Mathematics - Set theory -- What categories are -- Arrows instead of epsilon -- Introducing Topoi -- Topos structure: first steps -- Logic classically conceived -- Algebra of subobjects -- Intuitionism and its logic -- Functors -- Set concepts and validity -- Elementary truth -- Categorial set theory -- Arithmetic -- Local truth -- Adjointness and quantifiers --
Logica matematica
Matematicas fundamentos
510.3 / / G312