Computability Theory,
Edition 1 An Introduction to Recursion Theory
By Herbert B. Enderton

Publication Date: 02 Dec 2010