Text this: Computability and logic /