complexity, logic, and recursion theory