Доклад:

Донец Е.А. - Об унификации в классе логик с ограниченной транзитивностью.

Участники семинара:

• Башмаков С.И.
• Брылякова Е.В.
• Поляков А.А.
• Зверева Т.Ю.
• Фисков Я.С.