RUS
ENG
Полная версия
СЕМИНАРЫ
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
13 февраля 2025 г.
16:00
, г. Москва, МИАН, комн. 313 (ул. Губкина, 8)
Лекция 1. Решётки с делениями и субструктурные исчисления
С. Л. Кузнецов
,
Т. Г. Пшеницын
©
МИАН
, 2025