Computability and Unsolvability1985
About this book
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.
Details
- First published
- 1985
- OL Work ID
- OL2056692W
Subjects
Recursive functionsComputable functionsUnsolvability (Mathematical logic)