На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ
"Модальная и алгебраическая логика" и "Логические методы в информатике"
в ближайший четверг 25 апреля, начало в 18:45, состоится доклад
М.Н. Рыбаков (ИППИ РАН, ВШЭ, ТвГУ)
Неразрешимость логики QLC в языке с двумя предметными п