Theory of Recursive Functions and Effective Computability (1967)

by H Rogers