01986nam 2200469 450 00001325320050718115500.03-540-08439-820030513d1977----km-y0itay0103----baengDEFirst order categorical logicmodel-theoretical methods in the theory of topoi and related categoriesMichael Makkai, Gonzalo E. ReyesBerlin [etc.]Springer1977VIII, 301 p.25 cm.Lecture notes in mathematics6112001Lecture notes in mathematicsTeoria dei modelliCategoria (matematica)512.55(21. ed.)Algebre topologiche e algebre connesse, gruppi topologici e gruppi connessi03G30Algebraic logic. Categorical logic, topoi14F20Algebraic geometry. (Co)homology theory. Étale and other Grothendieck topologies and cohomologies18F10Category theory; homological algebra. Categories and geometry. Grothendieck topologies18F20Category theory; homological algebra. Categories and geometry. Presheaves and sheavesMakkai,Michael55822Reyes,Gonzalo E.55824ITUniversità della Basilicata - B.I.A.RICAunimarc000013253First order categorical logic80825UNIBASMONSCISCIENZEEXT0030120030513BAS011644EXT0030120030513BAS011645EXT0030120030513BAS011646EXT0030120030513BAS01164720050601BAS011755batch0120050718BAS01105120050718BAS01111020050718BAS01114120050718BAS011155BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT31814S318142003071851Riservati