RUS  ENG
Full version
SEMINARS

Seminar of the Laboratory of Mathematical Logic (Saint Petersburg)
April 14, 2020 18:15, Saint Petersburg, online


Закон дистрибутивности во фрагментах линейной и аффинной логик

S. L. Kuznetsov

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow


https://youtu.be/XMf1Wr1TJVI


© Steklov Math. Inst. of RAS, 2024