Computability, complexity, and languages : fundamentals of theoretical computer science - Davis, Martin, 1928-2023 (Computer Science and Applied Mathematics, 1983)