Seol mar théacs é seo: Logic for computer scientists / Uwe Schöning.