The undecidable
Subtitle: basic papers on undecidable propositions, unsolvable problems, and computable functions
By: edited by Martin Davis.
Contributors: Davis, Martin, 1928-
Publisher: Dover Publication; Dover Publications
Published: 2004
Place of publication: Mineola, NY
Language: eng
Number of pages: 414
Subjects: Gödel's theorem; Unsolvability (Mathematical logic); Recursive functions; Turing machines; Computable functions
Notes: Includes bibliographical references and index.
Originally published: Hewlett, N.Y. : Raven Press, 1965.