Международная школа-семинар «Синтаксис и семантика логических систем»
Владивосток, 01–05 августа 2022 года Второе извещение Тематика школы-семинара: универсальная алгебра, логические исчисления, теория моделей, категорная геометрия и логика, алгебра…