Seol mar théacs é seo: A concise introduction to logic /