First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories / Michael Makkai, Gonzalo E. Reyes

• Autore: Makkai, Michael
• Pubblicazione: Berlin, : Springer, 1977
• Descrizione fisica: ii, 318 p. ; 24 cm
• Soggetto topico: 03G25 - Other algebras related to logic [MSC 2020]; 14F20 - Étale and other Grothendieck topologies and (co)homologies [MSC 2020]; 03Cxx - Model theory [MSC 2020]; 18F20 - Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020]; 18F10 - Grothendieck topologies and Grothendieck topoi [MSC 2020]; 18A15 - Foundations, relations to logic and deductive systems [MSC 2020]; 03F55 - Intuitionistic mathematics [MSC 2020]; 03C75 - Other infinitary logic [MSC 2020]
• Soggetto non controllato: Category; Category Theory; Mathematical logic; Morphism; Topos
• Altri autori: Reyes, Gonzalo E.
• Titolo autorizzato: First order categorical logic
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0260367
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: https://doi.org/10.1007/BFb0066201