LEADER 00862nam2-22003011i-450- 001 990001159330403321 005 20100107171736.0 010 $a0387155236 010 $a3540155236 035 $a000115933 035 $aFED01000115933 035 $a(Aleph)000115933FED01 035 $a000115933 100 $a20001205d1987----km-y0itay50------ba 101 0 $aeng 200 1 $aRecursion theory$fPeter G. Hinman (editor) 210 $aBerlin [etc.]$cSpringer-Verlag$d1987 215 $aXLV, 697 p.$d28 cm 225 1 $aPerspectives in mathematical logic 461 0$1001000913209$12001$a[Omega] bibliography of mathematical logic$v4 702 1$aHinman,$bPeter G. 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001159330403321 952 $aC-48-(14$b6080$fMA1 959 $aMA1 996 $aRecursion Theory$9346678 997 $aUNINA