Book

Finite Model Theory and Its Applications

by Erich Grädel