Поиск :
Личный кабинет :
Электронный каталог: Кудинов, А. В. - О разбиениях шкал Крипке конечной высоты
Кудинов, А. В. - О разбиениях шкал Крипке конечной высоты
Статья
Автор: Кудинов, А. В.
Известия Российской Академии наук Сер. Математическая: О разбиениях шкал Крипке конечной высоты
б.г.
ISBN отсутствует
Автор: Кудинов, А. В.
Известия Российской Академии наук Сер. Математическая: О разбиениях шкал Крипке конечной высоты
б.г.
ISBN отсутствует
Статья
Кудинов, А. В.
О разбиениях шкал Крипке конечной высоты / А. В. Кудинов, И. Б. Шапировский // Известия Российской Академии наук Сер. Математическая. – 2017. – Т.81, N.3. – С. 134-159.
общий = Труды сотрудников НИУ ВШЭ : Кудинов А. В.
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Кудинов, А. В.
О разбиениях шкал Крипке конечной высоты / А. В. Кудинов, И. Б. Шапировский // Известия Российской Академии наук Сер. Математическая. – 2017. – Т.81, N.3. – С. 134-159.
общий = Труды сотрудников НИУ ВШЭ : Кудинов А. В.
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory