Доклад Долгорукова В.В. на заседании Логической семаники
Мероприятие завершено
2 июля состоится последнее в этом учебном году заседание учебного семинара "Логическая семаника". Выступит Долгоруков В.В. с докладом "Каноническая модель и теоремы о полноте для логик K и K.t".
Ссылка для подключения:
https://zoom.us/j/97178152603?pwd=eTJ6WW9iaHVndTlmQkFEVk42aFRWUT09
Идентификатор конференции: 971 7815 2603
Пароль: 1122333
Дата
2 июля
16:40
В статье упомянуты