An edition of The undecidable (1965)
basic papers on undecidable propositions, unsolvable problems and computable functions.
By Davis, Martin
Publish Date
1965
Publisher
Raven Press
Language
eng
Pages
440
Description:
subjects: Gödel's theorem, Recursive functions, Turning machines, Turing machines, Computable functions, Unsolvability (Mathematical logic)