01962nam0 22004813i 450 VAN025647520230823042703.583N978354037495420230330d1975 |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 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer44518-XXCategory theory; homological algebra [MSC 2020]VANC019745MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF00BxxConference proceedings and collections of articles [MSC 2020]VANC021742MFBoundary Element MethodsKW:KClassificationKW:KFiniteKW:KLanguageKW:KLogicKW:KModel theoryKW:KSemanticsKW:KSetsKW:KTheoremKW:KToolsKW:KToposKW:KBerlinVANL000066LawvereF. WilliamVANV042327MaurerChristianVANV209899WraithGavin C.VANV209900Springer <editore>VANV108073650ITSOL20240614RICAhttps://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-CE0120VAN08NVAN0256475BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 5890 08eMF5890 20230411 Model theory and topoi262788UNICAMPANIA