Text this: Computability, an introduction to recursive function theory / Nigel Cutland.