The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions - Davis, Martin, 1928-2023 (Dover Publications, 2004)