LEADER 01562nam0 22003733i 450 001 VAN0263415 005 20231130023937.148 017 70$2N$a9783540391210 100 $a20230919d1984 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aTechniques of Admissible Recursion Theory$fChi-Tat Chong 210 $aBerlin$cSpringer$d1984 215 $axii, 220 p.$d24 cm 461 1$1001VAN0102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v1106 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03D60$xComputability and recursion theory on ordinals, admissible sets, etc. [MSC 2020]$3VANC037481$2MF 610 $aComputability theory$9KW:K 610 $aCurves$9KW:K 610 $aFinite$9KW:K 610 $aModels$9KW:K 610 $aRecursion$9KW:K 620 $dBerlin$3VANL000066 700 1$aChong$bChi-Tat$3VANV217778$0441174 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/BFb0099164$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 $aVAN0263415 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 6662 $e08eMF6662 20230927 996 $aTechniques of admissible recursion theory$978507 997 $aUNICAMPANIA