Finite Model Theory and Its Applications

From the reviews:

"This book has its origins in a workshop held in Philadelphia in 1999 … . The chapters are of an expository nature, each one providing an excellent starting point to explore the research literature in the relevant topic. … I found it to be a more accessible introduction to the subject … and a useful starting point for graduate students entering the subject. … This will appeal … to those readers trained in classical traditions of logic who wish to approach the subject." (Anuj Dawar, Mathematical Reviews, Issue 2009 i)