Доклад:

Брылякова Е.В. - Предупорядоченные множества унификаторов в интуиционистской логике.
Поляков А.А. - Кортежная семантика модальных логик. Часть 1.

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

• Башмаков С.И.
• Мукосий А.А.
• смелых К.А.
• Зверева Т.Ю.
• Донец Е.А.