Text this: Mathematical logic and computability/