Computability
Authors
More about the book
This survey of computability theory provides essential techniques for computer scientists, mathematicians, and philosophers to analyze computational processes and theoretical limits. It covers topics from URM programs and primitive recursive functions to advanced concepts like Goedel's incompleteness theorems, Oracle computations, and the Arithmetical hierarchy.
Publication
Book purchase
We’ll notify you via email once we track it down.