Доклад:

Брылякова Е.В. - Эквивалентность унификаторов в
суперинтуиционистскихлогиках.

Башмаков С.И. - Невозможность конечной аксиоматизации.

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Фисков Я.С.
• Мукосий А.А.