LEADER 01565nam0 2200385 i 450 001 VAN0052412 005 20231214121331.893 010 $a03-87903-46-1 010 $a978-03-87903-46-0 100 $a20060918r19791987 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aIntroduction to mathematical logic$eset theory, computable functions, model theory$fJerome Malitz 205 $aRepr 210 $aNew York$cSpringer$d1979 [stampa 1987] 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 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 $u/sebina/repository/catalogazione/documenti/Malitz - Introduction to mathematical logic.pdf$zContents 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN0052412 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 2587 $e08 1996 I 20060918 996 $aIntroduction to mathematical logic$9348626 997 $aUNICAMPANIA