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

by Hartley Rogers