内容简介 · · · · · ·

The first part consists of an introduction to the theory of computation and recursive function theory, including definitions of computable functions, Turing machines, partial recursive functions, recursively enumerable sets, the Kleene recursion theorem etc. The second part is a comprehensive study of recursively enumerable sets and their degrees.

作者简介 · · · · · ·

Paul Snowden Russell Distinguished Service Professor of Mathematics and Computer Science, the University of Chicago