LEADER 00999cam0-22003851i-450-
001 990001105440403321
005 20051129173054.0
010   $a3-540-19305-7
035   $a000110544
035   $aFED01000110544
035   $a(Aleph)000110544FED01
035   $a000110544
100   $a20001205d1990----km-y0itay50------ba
101 0 $aeng
102   $aDE
200 1 $aHigher recursion theory$fGerald E. Sacks
210   $aBerlin [etc.]$cSpringer-Verlag$d1990
215   $aXV, 344 p.$d25 cm
225 1 $aPerspectives in mathematical logic
610 0 $aLogica
610 0 $aRicorsività
610 0 $aTeoria della ricorsività
676   $a160
676   $a511.388
700  1$aSacks,$bGerald E.$050334
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001105440403321
952   $a7-277$b18023$fFI1
952   $aC-48-(17$b7796$fMA1
959   $aFI1
959   $aMA1
962   $a03D55
996   $aHigher recursion theory$979093
997   $aUNINA