Seol mar théacs é seo: Handbook of logic in computer science.