Доклад:

• А.А. Мукосий - Расширения логик. Виды трансляций. Допустимые правила.
• М.И. Корнилова - Логика POS. Теорема дедукции.

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

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

.