Computability, Complexity, Logic by