Шифр см. у томов Пр3197 Исследования по конструктивной математике и математической логике : сб. работ под ред. Данцина Е.Я., Оревкова В.П / ред.: Е. Я. Данцин, В. П. Оревкова. - Санкт-Петербург : Наука, Б. г.. - (Записки научных семинаров ПОМИ / Математический институт им. В. А. Стеклова (Москва). Санкт-Петербургское отделение, ISSN 0373-2703 ; ...). - Рубрики: Конструктивная математика Математическая логика Конструктивная теория функций Дескрипторы: сб пр -- сб -- многот Доп.точки доступа: Данцин, Е.Я. \ред.\; Оревкова, В.П. \ред.\ Свободных экз. нет |