Доклады:

• Е.А. Донец - Интуиционистская логика Int и минимальная логика J.
• Т.Ю. Зверева - Связь интуиционистской и классической логики.
• А.О. Ташкен - Метод фильтрации, свойство конечных моделей.

Начало в 16:00 на платформе видео-конференций Zoom.
Ссылка для подключения: https://us02web.zoom.us/j/82650129392
Идентификатор: 826 5012 9392

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

• Башмаков С.И.
• Зверева Т.Ю.
• Донец Е.А.
• Ташкен А.О.