Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)

Emphasizes the computer science aspects of the subject.

Details applications in databases, complexity theory, and formal languages, as well as other branches of computer science.