Computability & unsolvability

Author(s)

• Davis, Martin

Bibliographic Information

Computability & unsolvability

Martin Davis

（Dover books on advanced mathematics）

Dover, 1982

Dover ed

• : pbk

Note

Reprint with a new preface and an appendix. Originally published: New York : McGraw-Hill, 1958. (McGraw-Hill series in information processing and computers)

Bibliography: p. 237-241

Includes index

• NCID: BA1154201X
• ISBN:
  • 0486614719
• LCCN: 82007287
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: xxv, 248 p.
• Size: 22 cm
• Classification:
  • LCC : QA9.615
  • DC19 : 511.3
• Subject Headings:
  • LCSH : Recursive functions
  • LCSH : Unsolvability (Mathematical logic)
  • LCSH : Computable functions
• Parent Bibliography ID:
  • BA00209096