The undecidable :
Davis, Martin
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions - New York : Dover Publications, ©1965. - 440 p. ; 25 cm.
Includes bibliographical references.
9780486432281
65003996
Recursive functions.
Gödel's theorem.
Turing machines.
Unsolvability (Mathematical logic)
Computable functions.
QA248.5 / .D33
512.8 / DAV-U
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions - New York : Dover Publications, ©1965. - 440 p. ; 25 cm.
Includes bibliographical references.
9780486432281
65003996
Recursive functions.
Gödel's theorem.
Turing machines.
Unsolvability (Mathematical logic)
Computable functions.
QA248.5 / .D33
512.8 / DAV-U