Finite Model Theory

Finite model theory has its origin in classical model theory, but owes its systematic development to research from complexity theory. . . .