Computability & unsolvability - Davis, Martin 1928-2023 (Dover Publ., 1982)