Complexity, logic, and recursion theory - Sorbi, Andrea (Lecture notes in pure and applied mathematics, 1997)