Theory of Recursive Functions and E#ective Computability (1967)

by H Rogers