Доклад:

• С.И. Башмаков - Исчисление CLuN. Связь понятия дедуктивной системы и логики.

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

• Смелых К.А.
• Зверева Т.Ю.
• Мукосий А.А.
• Брылякова Е.В.
• Корнилова М.И.
• Богданович М.С.
• Камышев Н.Л.
• Проценко Н.А.

.