This book presents the most important results of finite model theory in an extremely readable, yet careful and precise manner.… In addition to presenting the main techniques … the book deals extensively with applications in databases, complexity theory, and formal languages, as well as other branches of computer science. …