LEADER 01565nam0 22003613i 450 001 VAN00269109 005 20240806101526.860 017 70$2N$a9781461238782 100 $a20231221d1988 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aReflexive Structures$eAn Introduction to Computability Theory$fLuis E. Sanchis 210 $aNew York$cSpringer-Verlag$d1988 215 $axii, 233 p.$cill.$d24 cm 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03D25$xRecursively (computably) enumerable sets and degrees [MSC 2020]$3VANC024512$2MF 606 $a03D75$xAbstract and axiomatic computability and recursion theory [MSC 2020]$3VANC037748$2MF 610 $aAlgorithms$9KW:K 610 $aComputability theory$9KW:K 610 $aComputer$9KW:K 610 $aComputer Science$9KW:K 620 $aUS$dNew York$3VANL000011 700 1$aSanchis$bLuis E.$3VANV220819$049002 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240906$gRICA 856 4 $uhttps://doi.org/10.1007/978-1-4612-3878-2$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 $aVAN00269109 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 7912 $e08eMF7912 20240202 996 $aReflexive Structures$9337995 997 $aUNICAMPANIA