Theory of Recursive Functions and Effective Computability by Hartley Rogers 1992.

Name inside cover.

Faded back cover.