Book

Theory of recursive functions and effective computability

by H. Rogers