Theory of Recursive Functions and E#ective (0)

by Hartley Rogers
Venue:Computability, McGraw--Hill, 1967, xix + 482