LEADER 02035nam0 22004813i 450 001 VAN00288214 005 20250428114246.831 017 70$2N$a9783642754623 100 $a20250304d1991 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aLogical Number Theory 1. : An Introduction$fCraig Smorynski 210 $aBerlin [etc.]$cSpringer-Verlag$d1991 215 $ax, 405 p.$cill.$d24 cm 410 1$1001VAN00024506$12001 $aUniversitext$1210 $aBerlin [etc]$cSpringer$d1930- 606 $a01A80$xSociology (and profession) of mathematics [MSC 2020]$3VANC025112$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03B25$xDecidability of theories and sets of sentences [MSC 2020]$3VANC024400$2MF 606 $a03F30$xFirst-order arithmetic and fragments [MSC 2020]$3VANC024401$2MF 606 $a11U05$xDecidability (number-theoretic aspects) [MSC 2020]$3VANC030761$2MF 610 $aComputability theory$9KW:K 610 $aDiophantine Equations$9KW:K 610 $aIncompleteness$9KW:K 610 $aMathematical logic$9KW:K 610 $aNumber theory$9KW:K 610 $aProofs$9KW:K 610 $aRecursion theory$9KW:K 610 $aUndecidability$9KW:K 620 $dBerlin$3VANL000066 700 1$aSmory?ski$bCraig$3VANV051553$059490 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250502$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-642-75462-3$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 $aVAN00288214 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 10887 $e08eMF10887 20250312 996 $aLogical Number Theory 1. : An Introduction$94315898 997 $aUNICAMPANIA