Theory of computation /
Kozen, Dexter,1951-
London : Springer,
c2006.
Includes bibliographical references (p. [391]-398) and index.
Computational complexity.
Computer science
Recursion theory.