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

СЕМИНАРЫ


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

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