The undecidable basic papers on undecidable propositions, unsolvable problems, and computable functions - Davis, Martin 1928-2023 (Raven Pr., 1965)