RUS  ENG
Полная версия
СЕМИНАРЫ

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


Лекция 1. Решётки с делениями и субструктурные исчисления

С. Л. Кузнецов, Т. Г. Пшеницын




© МИАН, 2025