Logic For Computer Scientists by Uwe Schoening & Uwe Schöning