Seol mar théacs é seo: Nove lezioni di logica simbolica.