Первопорядковая модальная логика с 𝜆-оператором
| Опубликовано в: : | Initia: Актуальные проблемы социальных наук (22-23 апреля 2022 г.) : материалы XXIV Международной конференции молодых ученых С. 120-122 |
|---|---|
| Главный автор: | |
| Формат: | Статья в сборнике |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001016555 |