08.04.2025, Слюсарев В.В., Критерии локальной табличности произведений модальных логик
Для заданной модальной логики L формулы и называются Lэквивалентными, если L. Модальная логика L
Кафедра матем. логики
62 дн. назад
33
1
Видео метки: нет
НАЗАДПохожее видео

08.04.2025, Слюсарев В.В., Критерии локальной табличности произведений модальных логик
Кафедра матем. логики
62 дн. назад
Комментарии к видео...
Комментариев нет, но Вы можете быть первым...
Добавить свой комментарий