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