LEADER 01044nam0-22003371i-450- 001 990000985520403321 005 20070119142803.0 010 $a0-521-23543-X 035 $a000098552 035 $aFED01000098552 035 $a(Aleph)000098552FED01 035 $a000098552 100 $a20001205d1980----km-y0itay50------ba 101 0 $aeng 200 1 $aRecursion theory$eits generalisations and applications$eproceedings of Logic Colloquium '79, Leeds, August 1979$fedited by F.R. Drake and S.S. Wainer 210 $aCambridge$cCambridge University Press$d1980 215 $a319 p.$d23 cm 225 1 $aLondon Mathematical Society lecture note series$v45 610 0 $aLogica 610 0 $aRicorsività 676 $a160 702 1$aDrake,$bFrank R. 702 1$aWainer,$bStanley S. 710 12$aLogic colloquium$f<1979 ;$eLeeds>$0441853 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000985520403321 952 $a7-241$b12310$fFI1 959 $aFI1 996 $aRecursion theory$982582 997 $aUNINA