Лекция 1. С.Л. Кузнецов, Т.Г. Пшеницын. Решётки с делениями и субструктурные исчисления

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