Seol mar théacs é seo: Introductory logic and sets for computer scientists