LEADER 01378nam  2200373   450 
001 000011177
005 20050718115400.0
010   $a0-444-87295-7
100   $a20020717d1989----km-y0itay0103----ba
101 0 $aeng
102   $aNL
200 1 $aClassical recursion theory$ethe theory of functions ans sets of natural numbers$fPiergiorgio Odifreddi
210   $aAmsterdam [etc.]$cNorth-Holland$d1989
215   $aXVII, 668 p.$cill.$d23 cm.
225 1 $aStudies in logic and the foundations of mathematics$v125
606   $aLogica matematica
676   $a511.3$v(20. ed.)$9Logica matematica (Logica simbolica)
691   $a03Dxx$9Mathematical and logic foundations. Computability and recursion theory
700  1$aOdifreddi,$bpiergiorgio$028537
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000011177
996   $aClassical recursion theory$979079
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aMONOGR
BAS   $aSCIENZE
CAT   $aEXT002$b01$c20020717$lBAS01$h1208
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$62425$5M2425$820020717$f51$FRiservati