LEADER 01574nam  2200397   450 
001 000015667
005 20050718115600.0
010   $a0-521-23543-X
100   $a20030731d1980----km-y0itay0103----ba
101 0 $aeng
102   $aGB
200 1 $aRecursion theory$eits generalisations and applications$eproceedings of Logic Colloquium '79, Leeds, August 1979$fedited by F. R. Drake and S. S. Wainer
210   $aCambridge [etc.]$cCambridge University Press$d1980
215   $a319 p.$d23 cm.
225 2 $aLondon Mathematical Society Lecture Note Series$v45
410  0$12001$aLondon Mathematical Society Lecture Note Series
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
702  1$aDrake,$bF. R.
702  1$aWainer,$bS. S.
710 12$aLogic colloquium$f<1979$e; Leeds>$0441853
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000015667
996   $aRecursion theory$982582
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aSCIENZE
CAT   $aEXT002$b01$c20030731$lBAS01$h1248
CAT   $c20050601$lBAS01$h1755
CAT   $abatch$b01$c20050718$lBAS01$h1052
CAT   $c20050718$lBAS01$h1111
CAT   $c20050718$lBAS01$h1142
CAT   $c20050718$lBAS01$h1156
FMT   
Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2GEN$BCollezione generale$3MAT$665008$5S65008$820030731$f51$FRiservati