Title: Computability, Complexity, Logic