LEADER 01728nam  2200409   450 
001 000013094
005 20050718115500.0
010   $a3-540-09710-4
100   $a20030509d1979----km-y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aDegrees of unsolvability$estructure and theory$fRichard L. Epstein
210   $aBerlin [etc.]$cSpringer$d1979
215   $aXIV, 240 p.$cill.$d25 cm.
225 2 $aLecture notes in mathematics$v759
410  0$12001$aLecture notes in mathematics
606   $aLogica matematica
676   $a511.3$v(21. ed.)$9Logica matematica (Logica simbolica)
691   $a03-02$9Mathematical logic and foundations. Research exposition
691   $a03D30$9Mathematical logic and foundations. Computability and recursion theory. Other degrees and reducibilities
691   $a03D35$9Mathematical logic and foundations. Computably and recursion theory. Undecidability and degrees of sets of sentences
691   $a03F30$9Mathematical logic and foundations. Proof theory and constructive mathematics. First-order arithmetic and fragments
700  1$aEpstein,$bRichard L.$046609
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000013094
996   $aDegrees of unsolvability$981037
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aSCIENZE
CAT   $aEXT003$b01$c20030509$lBAS01$h1802
CAT   $c20050601$lBAS01$h1755
CAT   $abatch$b01$c20050718$lBAS01$h1051
CAT   $c20050718$lBAS01$h1110
CAT   $c20050718$lBAS01$h1140
CAT   $c20050718$lBAS01$h1155
FMT   
Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2GEN$BCollezione generale$3MAT$631962$5S31962$820030509$f51$FRiservati