Computability, Complexity, Logic