Пятая российская школа-семинар Синтаксис и семантика логических систем

IV научная конференция с международным участием «Геометрия многообразий и её приложения»