Seol mar théacs é seo: The foundations of Frege's logic /