TY  - DATA
AU  - Ebbinghaus,Heinz-Dieter
AU  - Flum,Jörg
ED  - SpringerLink (Online service)
TI  - Finite Model Theory
SN  - 9783540287889
AV  - QA9.7  E23 2006
PY  - 2006///
CY  - Berlin, Heidelberg
PB  - Springer-Verlag Berlin Heidelberg
KW  - Mathematics
KW  - Computer science
KW  - Logic, Symbolic and mathematical
KW  - Mathematical Logic and Foundations
KW  - Mathematical Logic and Formal Languages
UR  - http://dx.doi.org/10.1007/3-540-28788-4  
ER  -