Text this: Computability. An Introduction to Recursive Function Theory