631-е заседание

Доклад:

    Голованов Михаил Иванович — Разрешимость логики S5_2 относительно допустимости правил вывода.
    Информация по конференции «Алгебра, Логика и приложения».

© 2023 Институт математики
и фундаментальной информатики СФУ

+7 (391) 206-21-48    math@sfu-kras.ru    VK   Telegram