Ebbinghaus, Heinz-Dieter.
Finite Model Theory [electronic resource] / by Heinz-Dieter Ebbinghaus, Jörg Flum. - Second Revised and Enlarged Edition 1999. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Springer Monographs in Mathematics, 1439-7382 . - Springer Monographs in Mathematics, .
9783540287889
10.1007/3-540-28788-4 doi
Mathematics.
Computer science.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
QA8.9-10.3
511.3
Finite Model Theory [electronic resource] / by Heinz-Dieter Ebbinghaus, Jörg Flum. - Second Revised and Enlarged Edition 1999. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Springer Monographs in Mathematics, 1439-7382 . - Springer Monographs in Mathematics, .
9783540287889
10.1007/3-540-28788-4 doi
Mathematics.
Computer science.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
QA8.9-10.3
511.3