Computability and Unsolvability (repost)
Martin Davis, "Computability and Unsolvability"
ISBN: 0486614719 | 1985 | EPUB | 248 pages | 18 MB
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.