kirjuri's blog

By kirjuri, history, 3 years ago, In English

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.

  • Vote: I like it
  • +29
  • Vote: I do not like it