Complexity, Logic, and Recursion Theory - Andrea Sorbi (Taylor and Francis, 1997)