Theory of recursive functions and e#ective computability (1967)

by H Rogers