С.А. Славнов. Индексированное исчисление Ламбека с передвижением

2025 г. НОЦ. Семинар С.Л. Кузнецова и С.О. Сперанского "Вероятностные и субструктурные логические системы" С.А. Славнов. Индексированное исчисление Ламбека с передвижением 15 апреля 2025 г. 16:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8) Источник: http://www.mathnet.ru/present45937 Все видео курса: https://www.mathnet.ru/conf2533 https://youtube.com/playlist?list=PLUbD59ZHv1GQDEIJqEc49WWcSM8kYCP15&si=deCfPtkwSUb1-l1-