Алгоритмическая проблема аксиоматизации табличной нормальной модальной логикистатья

Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 14 октября 2021 г.

Прикрепленные файлы


Имя Описание Имя файла Размер Добавлен
1. Полный текст оригинальный скан 2002_Chagrov_LogIs_2002_09_scan.pdf 1,5 МБ 15 февраля 2016 [ezolin]
2. Полный текст имеются ошибки распознавания 2002_Chagrov_LogIs_2002_09_word.pdf 212,8 КБ 15 февраля 2016 [ezolin]