Доклад:

• Т.Ю. Зверева - Конечная аксиоматизируемость транзитивных предтабличных логик конечной глубины (доклад по статье Shan Du).

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

• Башмаков С.И.
• Донец Е.А.
• Смелых К.А.