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