Computability and unsolvability - Davis, Martin 1928- (McGraw-Hill, 1958)