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