Text this: Logic for computer scientists / Uwe Schöning.