Complexity, logic and recursion theory - Sorbi Andrea (New York Marcel Dekker, 1997)
Keywords: Computational complexity; Mathematical logic; Recursion theory