Undecidable properties of extensions of a provability logic. IIстатья

Информация о цитировании статьи получена из Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 28 июня 2016 г.

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


Имя Описание Имя файла Размер Добавлен
1. Полный текст 1990_Chagrov_AL_ENG_29_5_406-413.pdf 195,1 КБ 16 февраля 2016 [ezolin]