Computability & unsolvability - Davis, Martin 1928-2023 (McGraw-Hill, 1958)