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

Powered by Koha