LEADER 01154nam0 2200277 i 450 001 SUN0051622 005 20161107014309.671 010 $a04-448-9882-4 100 $a20060907d1999 |0engc50 ba 101 $aeng 102 $aGB 105 $a|||| ||||| 200 1 $aHandbook of computability theory$fedited by Edward R. Griffor 210 $dAmsterdam ; Oxford : Elsevier 1999 215 $axii, 727 p.$cill.$d23 cm. 410 1$1001SUN0023705$12001 $aStudies in logic and the foundations of mathematics$v140$1210 $aAmsterdam$cElsevier. 606 $a03Dxx$xComputability and recursion theory [MSC 2020]$2MF$3SUNC024386 620 $dAmsterdam$3SUNL001716 702 1$aGriffor$b, Edward R.$3SUNV040560 712 $aElsevier$3SUNV000127$4650 801 $aIT$bSOL$c20200713$gRICA 856 4 $uhttps://books.google.it/books?id=KqeXZ4pPd5QC&printsec=frontcover&hl=it 912 $aSUN0051622 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 1706 $e08 6373 I 20060907 996 $aHandbook of computability theory$9851479 997 $aUNICAMPANIA