Seol mar théacs é seo: An Introductory Logic.