Theory of recursive functions and effective computability - Rogers, Hartley n. 1926- (McGraw-Hill series in higher mathematics, 1967)