LEADER 00957nam0-22003251i-450- 001 990001091770403321 005 20100218165124.0 010 $a0-262-68052-1 035 $a000109177 035 $aFED01000109177 035 $a(Aleph)000109177FED01 035 $a000109177 100 $a20001205d1987----km-y0itay50------ba 101 0 $aeng 200 1 $aTheory of recursive functions and effective computability$fHartley Rogers, Jr. 210 $aCambridge [etc.]$cThe MIT Press$dc1987 215 $axxi, 482 p.$d23 cm 610 0 $aLogica 610 0 $aRicorsività 676 $a160 700 1$aRogers,$bHartley$051746 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001091770403321 952 $a7-116.002$bD.S.F. 16420$fFI1 952 $a7-166.003$bD.S.F. 8804$fFI1 952 $aS.7-005$bD.S.F. 16421$fFI1 959 $aFI1 996 $aTheory of recursive functions and effective computability$979555 997 $aUNINA