LEADER 01676nam0 22003973i 450 001 VAN0268273 005 20240307030852.287 017 70$2N$a9781461394419 100 $a20231130d1979 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aIntroduction to mathematical logic$eset theory, computable functions, model theory$fJerome Malitz 210 $aNew York$cSpringer$d1979 215 $axii, 198 p.$d25 cm 410 1$1001VAN0024019$12001 $aUndergraduate texts in mathematics$1210 $aBerlin [etc.]$cSpringer 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03Exx$xSet theory [MSC 2020]$3VANC019939$2MF 606 $a03Cxx$xModel theory [MSC 2020]$3VANC024387$2MF 610 $aCompactness theorem$9KW:K 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 $aUS$dNew York$3VANL000011 700 1$aMalitz$bJerome$3VANV041490$042104 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/978-1-4613-9441-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 $aVAN0268273 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 7444 $e08eMF7444 20231204 996 $aIntroduction to mathematical logic$9348626 997 $aUNICAMPANIA