ENGLISH

Computability and Unsolvability

By Martin Davis

Book information

Publisher
Dover Publications
Year
1985
ISBN
0486614719, 9780486614717
Language
english
Format
EPUB
Filesize
18 MB (18885755 bytes)
Series
Mcgraw-Hill Series in Information Processing and Computers
Pages
248\0
Time added
2013-10-06 20:37:10

Description

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.

Similar books