Skip to content 
el cat en
База данных: Electronic catalog FEFU
Page 1, Results: 2
Отмеченные записи: 0
1.
Подробнее
Алгебра. Топология. Геометрия / Академия наук СССР, Всесоюзный институт научной и технической информации ; науч. ред. Р. В. Гамкрелидзе. - Москва : [Изд-во ВИНИТИ], 1975 - . - (Итоги науки и техники ; т. 13.).
т. 13 / Академия наук СССР, Всесоюзный институт научной и технической информации. - 342 c. : ил. - Библиогр. в конце гл.
Кл.слова (ненормированные):
алгебра -- топология -- арифметика -- геометрия -- анализ (математика) -- теория доказательств (математика) -- кобордизмы (математика) -- категории (математика) -- математические исследования (XX век)
Доп.точки доступа:
Гамкрелидзе, Реваз Валерианович \ед.\
Академия наук СССР. Всесоюзный институт научной и технической информации
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Алгебра. Топология. Геометрия / Академия наук СССР, Всесоюзный институт научной и технической информации ; науч. ред. Р. В. Гамкрелидзе. - Москва : [Изд-во ВИНИТИ], 1975 - . - (Итоги науки и техники ; т. 13.).
т. 13 / Академия наук СССР, Всесоюзный институт научной и технической информации. - 342 c. : ил. - Библиогр. в конце гл.
| УДК |
Кл.слова (ненормированные):
алгебра -- топология -- арифметика -- геометрия -- анализ (математика) -- теория доказательств (математика) -- кобордизмы (математика) -- категории (математика) -- математические исследования (XX век)
Доп.точки доступа:
Гамкрелидзе, Реваз Валерианович \ед.\
Академия наук СССР. Всесоюзный институт научной и технической информации
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
2.
Подробнее
Справочная книга по математической логике / под ред. Дж. Барвайса ; пер. с англ. Г. В. Давыдова, Г. Е. Минца. - Москва : Наука, 1983 - .
в 4 ч. : ч. 4 : Теория доказательств и конструктивная математика. - 391 c. : ил. - Библиогр. в конце гл.
Кл.слова (ненормированные):
математика конструктивная -- современная математика -- теорема множеств (математика) -- теория моделей (математика) -- теория рекурсии (математика) -- математические исследования (XX век) -- теория доказательств (математика) -- математическая логика
Доп.точки доступа:
Барвайс, Дж. \ед.\
Давыдов, Г. В. \ер.\
Минц, В. П. \ер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1), Абонемент учебной и научной литературы (Пушкинская, 10) (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1), Абонемент учебной и научной литературы (Пушкинская, 10) (1)
Справочная книга по математической логике / под ред. Дж. Барвайса ; пер. с англ. Г. В. Давыдова, Г. Е. Минца. - Москва : Наука, 1983 - .
в 4 ч. : ч. 4 : Теория доказательств и конструктивная математика. - 391 c. : ил. - Библиогр. в конце гл.
| УДК |
Кл.слова (ненормированные):
математика конструктивная -- современная математика -- теорема множеств (математика) -- теория моделей (математика) -- теория рекурсии (математика) -- математические исследования (XX век) -- теория доказательств (математика) -- математическая логика
Доп.точки доступа:
Барвайс, Дж. \ед.\
Давыдов, Г. В. \ер.\
Минц, В. П. \ер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1), Абонемент учебной и научной литературы (Пушкинская, 10) (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1), Абонемент учебной и научной литературы (Пушкинская, 10) (1)
Page 1, Results: 2