Text this: Complexity, logic, and recursion theory / edited by Andrea Sorbi.