Seol mar théacs é seo: Lectures on logic and computation :