Computability and unsolvability - Davis, Martin (McGraw-Hill, 1958)