S. L. Kuznetsov. Decidable fragments of the Lambek calculus with subexponentials
Sorry, only registred users can create playlists.
Описание
Семинар отдела математической логики «Теория доказательств»
S. L. Kuznetsov. Decidable fragments of the Lambek calculus with subexponentials
26 октября 2020 г. 18:30, г. Москва, online zoom
Источник: http://www.mathnet.ru/present27917
Все видео семинара:
http://www.mathnet.ru/conf876
https://www.youtube.com/playlist?list=PLUbD59ZHv1GQZzqUyqtjoYp5BxbOQw3d2
