Seol mar théacs é seo: Математическая логика и её применение