Заседание №29 (28 июля 2020 г.)

Время: 
16:00
Место: 
Онлайн-заседание в Zoom

Доклады:

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

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

Башмаков С. И.