Computability and unsolvability - Davis, Martin 1928- (McGraw-hill series in information processing and computers, 1958)