545330
9780486614717
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.Davis, Martin is the author of 'Computability and Unsolvability' with ISBN 9780486614717 and ISBN 0486614719.
[read more]