True. After Turing and Co, mathematical logic became almost like applied theoretical computer science.