01950nam2 22004213i 450 VAN0026435020240806101514.995N978366209058920231003f |0itac50 baengDE|||| |||||ˆ3.: ‰Model TheoryHeinz-Dieter Ebbinghaus (Editor) BerlinSpringer1987XLV, 617 p.ill.24 cm001VAN002643462001 Ω-bibliography of mathematical logicEdited by Gert H. MüllerIn Collaboration with Wolfgang Lenski210 BerlinSpringer215 volumiill.24 cm300A15Bibliographies for mathematics in general [MSC 2020]VANC022111MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B25Decidability of theories and sets of sentences [MSC 2020]VANC024400MF03CxxModel theory [MSC 2020]VANC024387MF03H15Nonstandard models of arithmetic [MSC 2020]VANC024402MFComputability theoryKW:KMathematical logicKW:KModel theoryKW:KProofsKW:KSet TheoryKW:KBerlinVANL000066EbbinghausHeinz-DieterVANV024409Springer <editore>VANV108073650Ebbinghaus, H.-D.Ebbinghaus, Heinz-DieterVANV044267ITSOL20241115RICAhttps://doi.org/10.1007/978-3-662-09058-9E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00264350BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 6930 08eMF6930 20231023 Model theory343740UNICAMPANIA