Computability and Unsolvability

By Martin D. Davis

Book Overview

Classic graduate-level introduction to theory of computability. Discusses general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, more.

• Format: Paperback
• Language: English
• ISBN: 0486614719
• ISBN13: 9780486614717
• Release Date: December 1985
• Publisher: Dover Publications, Incorporated
• Length: 248 Pages
• Weight: 0.65 lbs.
• Dimensions: 0.6" x 5.4" x 8.5"