Logic for computer scientists - Uwe Schoning (Birkhauser, 1989)