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

Доклады:

    ОДИНЦОВ Сергей Павлович (Новосибирск, ИМ СО РАН) — IF-логика и реализуемость по Нельсону.
    ЯШИН Александр Данилович (Москва, МГППУ) — Логика Даммета, иррефлексивная модальность и полнота по Новикову.

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

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