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