Theory of recursive functions and effective computability Second edition (1987)

by Hartley Rogers Jr