Text this: A first course in computability /