Seol mar théacs é seo: Logic: Informal, Symbolic and Inductive