Compactness theorem for some generalized second-order languageстатья

Дата последнего поиска статьи во внешних источниках: 1 апреля 2017 г.

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


Имя Описание Имя файла Размер Добавлен
1. Полный текст 2-0321_COMPACTNESS_THEOREM_FOR_SECOND_ORDER.pdf 140,6 КБ 17 ноября 2016 [ZakharovValeriyKonstantinovich]