LEADER 01668nam  2200409   450 
001 000011160
005 20050718115400.0
010   $a0-387-19305-7
100   $a20020716d1990----km-y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aHigher recursion theory$fGerald E. Sacks
210   $aBerlin [etc.]$cSpringer$dc1990
215   $aXV, 344 p.$d25 cm.
225 1 $aPerspectives in Mathematical Logic
606   $aLogica matematica
676   $a511.3$v(20. ed.)$9Logica matematica (Logica simbolica)
691   $a03D55$9Mathematical logic and foundations. Computability and recursion theory. Hierarchies
691   $a03D60$9Mathematical logic and foundations. Computability and recursion theory. Computability and recursion theory on ordinals, admissible sets, etc.
691   $a00D65$9Mathematical logic and foundations. Computability and recursion theory. Higher-type and set recursion theory
691   $a03E15$9Mathematical logic and foundations. Set theory. Descriptive set theory
700  1$aSacks,$bGerald E.$050334
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000011160
996   $aHigher recursion theory$979093
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aMONOGR
BAS   $aSCIENZE
CAT   $aEXT002$b01$c20020716$lBAS01$h1011
CAT   $c20050601$lBAS01$h1754
CAT   $abatch$b01$c20050718$lBAS01$h1051
CAT   $c20050718$lBAS01$h1110
CAT   $c20050718$lBAS01$h1140
CAT   $c20050718$lBAS01$h1154
FMT   
Z30 -1$lBAS01$LBAS01$mBOOK$1BASA5$ADipartimento Matematica$2GEN$BCollezione generale$3MAT$62$5M2$820020716$f51$FRiservati