Computability & unsolvability - Davis, Martin 1928- (Dover, 1982)