LEADER 01674nam  2200433   450 
001 000013977
005 20050718115500.0
010   $a3-540-52772-9
100   $a20030611d1990----km-y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aRecursion theory week$eproceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989$fK. Ambos-Spies, G. H. Muller, G. E. Sacks, eds.
210   $aBerlin [etc.]$cSpringer$dc1990
215   $aVI, 393 p.$d25 cm.
225 2 $aLecture notes in mathematics$v1432
410  0$12001$aLecture notes in mathematics
606   $aLogica matematica$xCongressi
676   $a511.35$v(21. ed.)$9Logica matematica (Logica simbolica). Teoria della ricorsività
691   $a03Dxx$9Mathematical logic and foundations. Computability and recursion theory
691   $a03Exx$9Mathematical logic and foundations. Set theory
691   $a68Qxx$9Computer science. Theory of computing
702  1$aAmbos-Spies,$bK.
702  1$aMuller,$bG. H.
702  1$aSacks,$bGerald E.
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000013977
996   $aRecursion theory week$979894
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aSCIENZE
CAT   $aEXT003$b01$c20030611$lBAS01$h1248
CAT   $aEXT003$b01$c20030804$lBAS01$h1601
CAT   $c20050601$lBAS01$h1755
CAT   $abatch$b01$c20050718$lBAS01$h1052
CAT   $c20050718$lBAS01$h1111
CAT   $c20050718$lBAS01$h1141
CAT   $c20050718$lBAS01$h1155
FMT   
Z30 -1$lBAS01$LBAS01$mBOOK$1BASA5$ADipartimento Matematica$2GEN$BCollezione generale$3MAT$6282$5M282$820030611$f51$FRiservati