Seol mar théacs é seo: A first course in computability /