Тема: Башмаков С.И. - «Позитивная логика Pos». Зверева Т.Ю. - «Шкалы Крипке».
Участники семинара:
© 2024 Институт математики и фундаментальной информатики СФУ
+7 (391) 206-21-48 math@sfu-kras.ru