LEADER 02219nam0 22004573i 450 001 VAN0260367 005 20231002091334.573 017 70$2N$a9783540371007 100 $a20230628d1977 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aFirst Order Categorical Logic$eModel-Theoretical Methods in the Theory of Topoi and Related Categories$fMichael Makkai, Gonzalo E. Reyes 210 $aBerlin$cSpringer$d1977 215 $aii, 318 p.$d24 cm 461 1$1001VAN0102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v611 606 $a03G25$xOther algebras related to logic [MSC 2020]$3VANC023772$2MF 606 $a14F20$xÉtale and other Grothendieck topologies and (co)homologies [MSC 2020]$3VANC023775$2MF 606 $a03Cxx$xModel theory [MSC 2020]$3VANC024387$2MF 606 $a18F20$xPresheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020]$3VANC024449$2MF 606 $a18F10$xGrothendieck topologies and Grothendieck topoi [MSC 2020]$3VANC025089$2MF 606 $a18A15$xFoundations, relations to logic and deductive systems [MSC 2020]$3VANC029553$2MF 606 $a03F55$xIntuitionistic mathematics [MSC 2020]$3VANC033863$2MF 606 $a03C75$xOther infinitary logic [MSC 2020]$3VANC035689$2MF 610 $aCategory$9KW:K 610 $aCategory Theory$9KW:K 610 $aMathematical logic$9KW:K 610 $aMorphism$9KW:K 610 $aTopos$9KW:K 620 $dBerlin$3VANL000066 700 1$aMakkai$bMichael$3VANV042553$055822 701 1$aReyes$bGonzalo E.$3VANV214525$055824 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/BFb0066201$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0260367 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 6031 $e08eMF6031 20230628 996 $aFirst order categorical logic$980825 997 $aUNICAMPANIA