Logic for Computer Scientists - Schöning, Uwe (Birkhäuser Boston, 2008)