Title: Complexity, Logic, and Recursion Theory
Subjects: Recursion theory, Logic