Finite model theory and its applications - Gradel, Erich...[Et. Al] (Berlin Springer, 2007)
Keywords: Mathematical Logic 2.Computational Complexity 3.Database Theory