Вид документа : Однотомное издание Шифр издания : 517/М 292 Автор(ы) : Мартин-Лёф, Пер Заглавие : Очерки по конструктивной математике Выходные данные : Москва: Мир, 1975 Колич.характеристики :136 с.: ил. Серия: Библиотека сборника "Математика" Примечания : Библиогр.: с. 128-131. - Указ.: с. 132-134 Цена : 0.40, 0.40, р. ГРНТИ : 27.23 УДК : 517.11 Предметные рубрики: Математический анализ Ключевые слова (''Своб.индексиров.''): математика конструктивная Экземпляры : всего : АБН(1), Х(1) Свободны : АБН(1), Х(1) Доп.точки доступа: Минц, Г. Е. \пер. с англ., авт. предисл.\; Драгалин, А. Г. \ред.\ |