Computability Theory: An Introduction to Recursion Theory by Herbert B. Enderton Back to product details page >