Theory of computation Dexter C. Kozen - Kozen, Dexter C. (Springer-Verlag London, 2006)
Keywords: Recursion theory; Computational complexity; Computer science -- Mathematics; Computer software; Information theory