Theory of Recursive Functions and E ective Computability (1967)

by Hartley Rogers