Доклад:

• Брылякова Е.В. - Прямое доказательство проблемы Фридмана для интуиционистской логики техникой В.В. Рыбакова.
• Смелых К.А. - Оценка сложности проблемы разрешимости в логике деревьев вычислений.

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

• Мукосий А.А.
• Поляков А.А.
• Башмаков С.И.
• Фисков Я.С.