02219nam0 22004573i 450 VAN026036720231002091334.573N978354037100720230628d1977 |0itac50 baengDE|||| |||||First Order Categorical LogicModel-Theoretical Methods in the Theory of Topoi and Related CategoriesMichael Makkai, Gonzalo E. ReyesBerlinSpringer1977ii, 318 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer61103G25Other algebras related to logic [MSC 2020]VANC023772MF14F20Étale and other Grothendieck topologies and (co)homologies [MSC 2020]VANC023775MF03CxxModel theory [MSC 2020]VANC024387MF18F20Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020]VANC024449MF18F10Grothendieck topologies and Grothendieck topoi [MSC 2020]VANC025089MF18A15Foundations, relations to logic and deductive systems [MSC 2020]VANC029553MF03F55Intuitionistic mathematics [MSC 2020]VANC033863MF03C75Other infinitary logic [MSC 2020]VANC035689MFCategoryKW:KCategory TheoryKW:KMathematical logicKW:KMorphismKW:KToposKW:KBerlinVANL000066MakkaiMichaelVANV04255355822ReyesGonzalo E.VANV21452555824Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/BFb0066201E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0260367BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 6031 08eMF6031 20230628 First order categorical logic80825UNICAMPANIA