by Heinz-Dieter Ebbinghaus, Jörg Flum
Finite model theory has its origins in classical model theory, but owes its systematic development to research from complexity theory. The book presents the main results of descriptive complexity t…