Computability & unsolvability. - Davis, Martin 1928- (New York McGraw-Hill, 1958)
Keywords: Recursive functions