LEADER 01412nam0 2200325 i 450 001 VAN0053872 005 20240220014539.485 010 $a04-12-80830-7 100 $a20061002d2001 |0itac50 ba 101 $aeng 102 $aGB 105 $a|||| ||||| 200 1 $aIntroduction to mathematical logic$fE. Mendelson 205 $a4. edition 210 $aLondon [etc.]$cChapman & Hall$d1997$dstampa 2001 215 $ax, 440 p.$d25 cm 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03Exx$xSet theory [MSC 2020]$3VANC019939$2MF 606 $a03Dxx$xComputability and recursion theory [MSC 2020]$3VANC024386$2MF 606 $a03Cxx$xModel theory [MSC 2020]$3VANC024387$2MF 606 $a03Hxx$xNonstandard models [MSC 2020]$3VANC029540$2MF 620 $aGB$dLondon$3VANL000015 700 1$aMendelson$bElliott$3VANV030999$01373 712 $aChapman & Hall $3VANV108038$4650 801 $aIT$bSOL$c20240223$gRICA 912 $aVAN0053872 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS 03-XX 2706 $e08 6279 II a 20061002 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 2706 $e08 6278 II b 20061002 996 $aIntroduction to mathematical logic$950349 997 $aUNICAMPANIA