Секвенциальная аксиоматизация и семантика I-логик васильевского типастатья

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

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


Имя Описание Имя файла Размер Добавлен
1. Полный текст Li22_1_Popov.pdf 365,2 КБ 12 июня 2016 [markin_vladimir]