Theory of recursive functions and effective computability / by H. Rogers. - Rogers, H. (McGraw-Hill, 1967)