LEADER 02052nam  2200469   450 
001 000016656
005 20050718115600.0
010   $a3-540-57073-X
100   $a20030918d1997----km-y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $a<<The>> classical decision problem$fEgon Börger, Erich Grädel, Yuri Gurevich
210   $aBerlin [etc.]$cSpringer$dc1997
215   $aXII, 482 p.$d25 cm.
225 2 $aPerspectives in Mathematical Logic
410  0$12001$aPerspectives in Mathematical Logic
606   $aLogica matematica
676   $a511.3$v(21. ed.)$9Logica matematica (Logica simbolica)
691   $a03-02$9Mathematical logic and foundations. Research exposition
691   $a03B10$9Mathematical logic and foundations. General logic. Classical first-order logic
691   $a03B25$9Mathematical logic and foundations. General logic. Decidability of theories and sets of sentences
691   $a03C13$9Mathematical logic and foundations. Model theory. Finite structures
691   $a03D15$9Mathematical logic and foundations. Complexity of computation
691   $a03D35$9Mathematical logic and foundations. Computably and recursion theory. Undecidability and degrees of sets of sentences
691   $a68Q25$9Computer science. Theory of computing. Analysis of algorithms and problem complexity
700  1$aBörger,$bEgon$0757184
701  1$aGrädel,$bErich$00
701  1$aGurevich,$bYuri$060992
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000016656
996   $aClassical decision problem$91527183
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aSCIENZE
CAT   $aEXT003$b01$c20030918$lBAS01$h1818
CAT   $c20050601$lBAS01$h1755
CAT   $abatch$b01$c20050718$lBAS01$h1053
CAT   $c20050718$lBAS01$h1112
CAT   $c20050718$lBAS01$h1142
CAT   $c20050718$lBAS01$h1156
FMT   
Z30 -1$lBAS01$LBAS01$mBOOK$1BASA5$ADipartimento Matematica$2GEN$BCollezione generale$3MAT$64358$5M4358$820030918$f51$FRiservati