LEADER 01728nam  2200445   450 
001 000011241
005 20050718115400.0
010   $a3-540-60149-X
100   $a20020722d1995----km-y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aFinite model theory$fHeinz-Dieter Ebbinghaus, Jörg Flum
210   $aBerlino [etc.]$cSpringer$dc1995
215   $aXV, 327 p.$cill.$d24 cm.
225 1 $aPerspectives in Mathematical Logic
606   $aTeoria dei modelli
606   $aLogica matematica
676   $a511.3$v(20. ed.)$9Logica matematica (Logica simbolica)
691   $a03C13$9Mathematical logic and foundations. Model theory. Finite structures
691   $a03C80$9Mathematical logic and foundations. Model theory. Logic with extra quantifiers and operators
691   $a03D15$9Mathematical logic and foundations. Computability and recursion theory. Complexity of computation
691   $a68P15$9Computer science. Theory of data. Database theory
700  1$aEbbinghaus,$bHeinz-Dieter$046491
701  1$aFlum,$bJörg$0756957
801  0$aIT$bUniversitā della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000011241
996   $aFinite model theory$91526738
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aMONOGR
BAS   $aSCIENZE
CAT   $aEXT002$b01$c20020722$lBAS01$h1111
CAT   $aSTD037$b01$c20041018$lBAS01$h1247
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$64084$5M4084$820020722$f51$FRiservati