LEADER 02209nam0 22005413i 450 001 VAN00283788 005 20250606031225.490 010 $a978-30-315-5367-7 100 $a20241206d2024 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 181 $ai$b e 182 $an 183 $anc 200 1 $aˆAn ‰Invitation to Mathematical Logic$fDavid Marker 210 $aCham$cSpringer$d2024 215 $axviii, 357 p.$cill.$d24 cm 410 1$1001VAN00023579$12001 $aGraduate texts in mathematics$1210 $aNew York [etc.]$cSpringer$d1950-$v301 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03Cxx$xModel theory [MSC 2020]$3VANC024387$2MF 606 $a03Dxx$xComputability and recursion theory [MSC 2020]$3VANC024386$2MF 606 $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$3VANC024383$2MF 610 $aCompleteness theorem$9KW:K 610 $aComputability$9KW:K 610 $aGodel's completeness$9KW:K 610 $aGödel incompleteness theorem$9KW:K 610 $aHilbert's 10th problem$9KW:K 610 $aIncompleteness theorem$9KW:K 610 $aLogic for Computer Science$9KW:K 610 $aLogic for philosophy$9KW:K 610 $aMarker GTM$9KW:K 610 $aMathematical logic$9KW:K 610 $aModel theory introduction$9KW:K 610 $aPeano arithmetic$9KW:K 610 $aQuantifier elimination$9KW:K 610 $aTuring reducibility$9KW:K 610 $aUltraproducts$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aMarker$bDavid$3VANV041397$066978 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250613$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/An invitation to mathematical logic.pdf$zAn invitation to mathematical logic.pdf 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN00283788 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 2615 $e08DMF1032 III 20241206 996 $aInvitation to Mathematical Logic$94299915 997 $aUNICAMPANIA