Seol mar théacs é seo: Dictionary of logical terms and symbols /