LEADER 01962nam0 22004813i 450 001 VAN0256475 005 20230823042703.583 017 70$2N$a9783540374954 100 $a20230330d1975 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aModel Theory and Topoi$eA Collection of Lectures by Various Authors$fedited by F. W. Lawvere, C. Maurer and Gavin C. Wraith 210 $aBerlin$cSpringer$d1975 215 $aiii, 354 p.$cill.$d24 cm 461 1$1001VAN0102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v445 606 $a18-XX$xCategory theory; homological algebra [MSC 2020]$3VANC019745$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a00Bxx$xConference proceedings and collections of articles [MSC 2020]$3VANC021742$2MF 610 $aBoundary Element Methods$9KW:K 610 $aClassification$9KW:K 610 $aFinite$9KW:K 610 $aLanguage$9KW:K 610 $aLogic$9KW:K 610 $aModel theory$9KW:K 610 $aSemantics$9KW:K 610 $aSets$9KW:K 610 $aTheorem$9KW:K 610 $aTools$9KW:K 610 $aTopos$9KW:K 620 $dBerlin$3VANL000066 702 1$aLawvere$bF. William$3VANV042327 702 1$aMaurer$bChristian$3VANV209899 702 1$aWraith$bGavin C.$3VANV209900 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/BFb0061290$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 $aVAN0256475 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 5890 $e08eMF5890 20230411 996 $aModel theory and topoi$9262788 997 $aUNICAMPANIA