Title: Studyguide For Logic For Computer Scientists By Schoning, Isbn 9780817647629