LEADER 01674nam0 2200289 i 450 001 SUN0055109 005 20180924094131.203 010 $a978-08-218-1922-7$d0.00 100 $a20061102d2000 |0engc50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aComputability theory and its applications$ecurrent trends and open problems$eproceedings of a 1999 AMS-IMS-Siam joint summer research conference computability theory and applications, june 13-17, 1999, University of Colorado, Boulder$fPeter A. Cholak ... [et al.] 210 $aProvidence$cAmerican Mathematical Society$d2000 215 $aXVI, 320 p.$d26 cm. 410 1$1001SUN0043184$12001 $aContemporary mathematics$v257$1210 $aProvidence$cAmerican Mathematical Society$d1980-. 606 $a03Dxx$xComputability and recursion theory [MSC 2020]$2MF$3SUNC024386 620 $aUS$dProvidence$3SUNL000273 702 1$aCholak$b, Peter$3SUNV043627 710 12$aProceedings of a 1999 AMS-IMS-Siam joint summer research conference computability theory and applications$f1999$eBoulder$3SUNV043628$0726012 712 $aAmerican mathematical society$3SUNV001080$4650 801 $aIT$bSOL$c20200713$gRICA 856 4 $uhttps://books.google.it/books?id=LFUbCAAAQBAJ&printsec=frontcover&dq=9780821819227&hl=it&sa=X&ved=0ahUKEwjIuPrhkdPdAhWq4IUKHYt4BmYQ6AEIJzAA#v=onepage&q=9780821819227&f=false$zPreview 912 $aSUN0055109 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0782 $e08VS 4390 III 20061102 996 $aComputability theory and its applications$91424881 997 $aUNICAMPANIA