Finite Model Theory
Ebbinghaus, Heinz-Dieter.
Finite Model Theory [electronic resource] / by Heinz-Dieter Ebbinghaus, Jörg Flum. - Second Revised and Enlarged Edition 1999. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006. - v.: digital - Springer Monographs in Mathematics, 1439-7382 .
9783540287889
Mathematics
Computer science
Logic, Symbolic and mathematical
Mathematics
Mathematical Logic and Foundations
Mathematical Logic and Formal Languages
QA9.7 / E23 2006
Finite Model Theory [electronic resource] / by Heinz-Dieter Ebbinghaus, Jörg Flum. - Second Revised and Enlarged Edition 1999. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006. - v.: digital - Springer Monographs in Mathematics, 1439-7382 .
9783540287889
Mathematics
Computer science
Logic, Symbolic and mathematical
Mathematics
Mathematical Logic and Foundations
Mathematical Logic and Formal Languages
QA9.7 / E23 2006