![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Семинар проводился в составе программа Logical Perspectives 2021, организованной Математическим Институтом им. В.А. Стеклова РАН. Цель программы - представить панораму современных исследований в логике, включая ее применения в информатике и философии.