Computability: An Introduction to Recursive Function Theory

Book by Nigel Cutland