Complexity Logic and Recursion Theory