Тема: Башмаков С.И. - "Введение в теорию модальных логик: модальная логика, реляционная семантика Крипке, вопросы аксиоматики".
Участники семинара:
© 2025 Институт математики и фундаментальной информатики СФУ
+7 (391) 206-21-48 math@sfu-kras.ru