Computability and unsolvability - Davis, Martin, 1928- (Dover Publications, 1982)