Computability and unsolvability - Davis, Martin (Dover Books on Mathematics, 1982)