Computer science logic - Makowsky, Johann A. (Springer, 2003)