Потом на стыке - математическая логика.
Исходно математическая логика — это не на стыке, это изучение логики, используемой математиками (разумеется, достаточно точными средствами, как иначе). Потом стало изучаться много интересных логических систем, не обязательно имеющих непосредственное отношение к математической жизни, это уже можно считать «на стыке».
И вот теперь уже вроде не осталось никакой логики, которая не пользовалась бы математическим языком.