Computability and Unsolvability

by Martin D. Davis

Classic text considers 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, computable functionals, classification of unsolvable decision problems and more.

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