Computability and Unsolvability - Martin Davis
-20% with code BOOKS
Shipping in 22-28 days
30-day return policy
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.
Description
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.
More Information
| Author | Martin Davis |
|---|---|
| Publisher | Dover Publications |
| Release year | 1985 |
| Cover type | Softcover |
| EAN | 9780486614717 |