Book:N.J. Cutland/Computability: An Introduction to Recursive Function Theory

Subject Matter

 * Computer Science