Text this: Computability, complexity, logic / E. Börger.