Perhaps offtopic for Codeforces, but anyway: does anyone know of a mathematical logic interest group in Minsk or elsewhere in Belarus? Or whether some of the universities (BSU and others) have a strong mathematical logic department?
By mathematical logic, I mean it in its formal sense: proof theory, model theory, recursion theory, set theory, etc.
Thanks.