Logic and Complexity - Lassaigne, Richard (Springer, 2004)