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.
| ISBN: | 9780486614717 |
| Publication date: | 28th March 2003 |
| Author: | Martin Davis |
| Publisher: | Dover Publications an imprint of Dover Publications Inc. |
| Format: | Paperback |
| Pagination: | 248 pages |
| Series: | Dover Books on Computer Science |
| Genres: |
Mathematical theory of computation |