Theory of Recursive Functions and Effective Computability (1987)

by Hartley Rogers Jr