Лекция 7. С.Л. Кузнецов, Т.Г. Пшеницын. L-модели и R-модели для исчисления Ламбека

2025 г. НОЦ. Курс С.Л. Кузнецова и Т.Г. Пшеницына "Субструктурные логики" Лекция 7. С.Л. Кузнецов, Т.Г. Пшеницын. L-модели и R-модели для исчисления Ламбека 27 марта 2025 г. 16:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) Источник: http://www.mathnet.ru/present45749 Все видео курса: https://www.mathnet.ru/conf2538 https://www.youtube.com/playlist?list=PLUbD59ZHv1GTWpNO6w99NVfpTYMFjwtfV