LEADER 01950nam2 22004213i 450 001 VAN00264350 005 20240806101514.995 017 70$2N$a9783662090589 100 $a20231003f |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aˆ3.: ‰Model Theory$fHeinz-Dieter Ebbinghaus (Editor) 210 $aBerlin$cSpringer$d1987 215 $aXLV, 617 p.$cill.$d24 cm 461 1$1001VAN00264346$12001 $a?-bibliography of mathematical logic$fEdited by Gert H. Müller$gIn Collaboration with Wolfgang Lenski$1210 $aBerlin$cSpringer$1215 $avolumi$cill.$d24 cm$v3 606 $a00A15$xBibliographies for mathematics in general [MSC 2020]$3VANC022111$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03B25$xDecidability of theories and sets of sentences [MSC 2020]$3VANC024400$2MF 606 $a03Cxx$xModel theory [MSC 2020]$3VANC024387$2MF 606 $a03H15$xNonstandard models of arithmetic [MSC 2020]$3VANC024402$2MF 610 $aComputability theory$9KW:K 610 $aMathematical logic$9KW:K 610 $aModel theory$9KW:K 610 $aProofs$9KW:K 610 $aSet Theory$9KW:K 620 $dBerlin$3VANL000066 702 1$aEbbinghaus$bHeinz-Dieter$3VANV024409 712 $aSpringer $3VANV108073$4650 790 1$aEbbinghaus, H.-D.$zEbbinghaus, Heinz-Dieter$3VANV044267 801 $aIT$bSOL$c20241115$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-662-09058-9$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 $aVAN00264350 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 6930 $e08eMF6930 20231023 996 $aModel theory$9343740 997 $aUNICAMPANIA