Seol mar théacs é seo: A Course on Mathematical Logic