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