Computability : computable functions, logic, and the foundations of mathematics

Author(s)

• Epstein, Richard L.
• Carnielli, Walter A. (Walter Alexandre)

Bibliographic Information

Computability : computable functions, logic, and the foundations of mathematics

Richard L. Epstein, Walter A. Carnielli

Wadsworth, c2000

2nd ed.

Note

"With Computability and undecidability--a timeline, the story of the development of computable functions and the undecidability of arithmetic to 1970, Richard L. Epstein."

Includes bibliographical references and index

Details

• NCID: BA8656806X
• ISBN:
  • 0534546447
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Belmont, Calif.
• Pages/Volumes: 299, 38 p.
• Size: 24 cm
• Classification:
  • LCC : QA9.59
  • DC21 : 511.3
• Subject Headings:
  • LCSH : Computable functions
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Gödel's theorem