LEADER 01017nam0-22003851i-450-
001 990001351220403321
010   $a3-540-60149-X
035   $a000135122
035   $aFED01000135122
035   $a(Aleph)000135122FED01
035   $a000135122
100   $a20000920d1995----km-y0itay50------ba
101 0 $aeng
200 1 $aFinite model theory$fHeiz-Dieter Ebbinghaus, Jorg Flum
210   $aBerlin$cSpringer-Verlag$d1995
215   $axv, 327 p.$d24 cm
225 1 $aPerspectives in mathematical logic
610 0 $aModelli finiti
610 0 $aTeoria della ricorsivita'
610 0 $aDatabases$aTeoria
676   $a511.3
700  1$aEbbinghaus,$bHeinz-Dieter$046491
702  1$aFlum,$bJorg
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001351220403321
952   $aC-48-(20$b14137$fMA1
959   $aMA1
962   $a03C13
962   $a03C80
962   $a03D15
962   $a68P15
996   $aFinite model theory$9374545
997   $aUNINA
DB    $aING01