LEADER 01532nam0 2200361 i 450 
001 VAN0055754
005 20240212095932.136
010   $a35-406-0149-X
010   $a978-35-406-0149-4
100   $a20061110d1995       |0itac50      ba
101   $aeng
102   $aDE
105   $a||||    |||||
200 1 $aFinite model theory$fHeinz-Dieter Ebbinghaus, Jörg Flum
210   $aBerlin$cSpringer$d1995
215   $aXV, 327 p.$cill.$d25 cm
410  1$1001VAN0050817$12001 $aPerspectives in mathematical logic$1210  $aBerlin$cSpringer
606   $a03D15$xComplexity of computation [MSC 2020]$3VANC023630$2MF
606   $a68P15$xDatabase theory [MSC 2020]$3VANC023737$2MF
606   $a03C80$xLogic with extra quantifiers and operators [MSC 2020]$3VANC024415$2MF
606   $a03C13$xModel theory of finite structures [MSC 2020]$3VANC024491$2MF
620   $dBerlin$3VANL000066
700  1$aEbbinghaus$bHeinz-Dieter$3VANV024409$046491
702  1$aFlum$bJörg$3VANV044268
712   $aSpringer <editore>$3VANV108073$4650
790  1$aEbbinghaus, H.-D.$zEbbinghaus, Heinz-Dieter$3VANV044267
790  1$aFlum, Jorg$zFlum, Jörg$3VANV062007
801   $aIT$bSOL$c20240614$gRICA
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0055754
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   1251        $e08   4482      II      20061110            
996   $aFinite model theory$9374545
997   $aUNICAMPANIA