LEADER 01575nam0 2200385 i 450 001 VAN00052412 005 20240806100459.868 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$1001VAN00024019$12001 $aUndergraduate texts in mathematics$1210 $aBerlin [etc.]$cSpringer$d1958- 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$c20250509$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 $aVAN00052412 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 2587 $e08 1996 I 20060918 996 $aIntroduction to mathematical logic$9348626 997 $aUNICAMPANIA