Text this: Computability and logic / Daniel E. Cohen.