02166nam0 22005173i 450 VAN0025647520240806101447.822N978354037495420230330d1975 |0itac50 baengDE|||| |||||Model Theory and TopoiA Collection of Lectures by Various Authorsedited by F. W. Lawvere, C. Maurer and Gavin C. WraithBerlinSpringer1975iii, 354 p.ill.24 cm001VAN001022502001 Lecture notes in mathematics210 Berlin [etc.]Springer44500BxxConference proceedings and collections of articles [MSC 2020]VANC021742MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF18-XXCategory theory; homological algebra [MSC 2020]VANC019745MFBoundary Element MethodsKW:KClassificationKW:KFiniteKW:KLanguageKW:KLogicKW:KModel theoryKW:KSemanticsKW:KSetsKW:KTheoremKW:KToolsKW:KToposKW:KBerlinVANL000066LawvereFrancis W.VANV042327MaurerChristianVANV209899WraithGavin C.VANV209900Springer <editore>VANV108073650Lawvere, Francis WilliamLawvere, Francis W.VANV234966Lawvere, F. W.Lawvere, Francis W.VANV234967Lawvere, F.W.Lawvere, Francis W.VANV234968ITSOL20250613RICAhttps://doi.org/10.1007/BFb0061290E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00256475BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 5890 08eMF5890 20230411 Model theory and topoi262788UNICAMPANIA