The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions

Author(s)

• Davis, Martin

Bibliographic Information

The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions

edited by Martin Davis

Dover Publication, 2004

• : pbk.

Note

Originally published: Hewlett, N.Y. : Raven Press, 1965

Includes bibliographical references and index

Details

• NCID: BA67270275
• ISBN:
  • 9780486432281
• LCCN: 2003067180
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Mineola, N.Y.
• Pages/Volumes: 413 p.
• Size: 24 cm
• Classification:
  • LCC : QA9.65
  • DC22 : 511.3
• Subject Headings:
  • LCSH : Gödel's theorem
  • LCSH : Unsolvability (Mathematical logic)
  • LCSH : Recursive functions
  • LCSH : Turing machines
  • LCSH : Computable functions