LEADER 01986nam 2200469 450 001 000013253 005 20050718115500.0 010 $a3-540-08439-8 100 $a20030513d1977----km-y0itay0103----ba 101 0 $aeng 102 $aDE 200 1 $aFirst order categorical logic$emodel-theoretical methods in the theory of topoi and related categories$fMichael Makkai, Gonzalo E. Reyes 210 $aBerlin [etc.]$cSpringer$d1977 215 $aVIII, 301 p.$d25 cm. 225 2 $aLecture notes in mathematics$v611 410 0$12001$aLecture notes in mathematics 606 $aTeoria dei modelli 606 $aCategoria (matematica) 676 $a512.55$v(21. ed.)$9Algebre topologiche e algebre connesse, gruppi topologici e gruppi connessi 691 $a03G30$9Algebraic logic. Categorical logic, topoi 691 $a14F20$9Algebraic geometry. (Co)homology theory. Étale and other Grothendieck topologies and cohomologies 691 $a18F10$9Category theory; homological algebra. Categories and geometry. Grothendieck topologies 691 $a18F20$9Category theory; homological algebra. Categories and geometry. Presheaves and sheaves 700 1$aMakkai,$bMichael$055822 701 1$aReyes,$bGonzalo E.$055824 801 0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc 912 $a000013253 996 $aFirst order categorical logic$980825 997 $aUNIBAS BAS $aMONSCI BAS $aSCIENZE CAT $aEXT003$b01$c20030513$lBAS01$h1644 CAT $aEXT003$b01$c20030513$lBAS01$h1645 CAT $aEXT003$b01$c20030513$lBAS01$h1646 CAT $aEXT003$b01$c20030513$lBAS01$h1647 CAT $c20050601$lBAS01$h1755 CAT $abatch$b01$c20050718$lBAS01$h1051 CAT $c20050718$lBAS01$h1110 CAT $c20050718$lBAS01$h1141 CAT $c20050718$lBAS01$h1155 FMT Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2GEN$BCollezione generale$3MAT$631814$5S31814$820030718$f51$FRiservati