А 45 Алгебра. Топология. Геометрия [Текст] / Гос. ком. Совета Министров СССР по науке и технике, Акад. наук СССР, ВИНИТИ. - Москва : [б. и.], 1963 - 1975. - 22 см. Т. 13. - 1975. - 341 с. - (Итоги науки и техники. Алгебра. Топология. Геометрия). - Библиография в конце статей. - 1400 экз.. - 1.78 р. Рубрики: Алгебра--Сборники Кл.слова (ненормированные): ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- АРИФМЕТИКА И АНАЛИЗ -- КАТЕГОРИИ -- ПОЛНАЯ ТОПОЛОГИЯ -- АЛГЕБРАИЧЕСКАЯ ТОПОЛОГИЯ -- ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ ПОДМНОГООБРАЗИЙ Доп.точки доступа: Гамкрелидзе, Р. В. \ред.\; Всесоюзный институт научной и технической информации(Москва) ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
С 74 Справочная книга по математической логике [Текст] : в 4-х частях / под редакцией Дж. Барвайса. - Москва : Наука, 1982 - 1983. - 22 см. Ч. IV : Теория доказательств и конструктивная математика / перевод с английского Г. В. Давыдова, Г. Е. Минца; под редакцией В. П. Оревкова. - 1983. - 391 с. : ил. - Пер. изд. : HANDBOOK OF MATEMATICAL LOGIC. - 2.10 р. Рубрики: Математика--Математическая логика--Справочники Кл.слова (ненормированные): теорема о неполноте -- теория доказательств -- теория Эрбрана -- теории конечного типа -- логика топосов -- арифметика Пеано -- справочники Доп.точки доступа: Барвайс, Дж. \ред.\; Давыдов, Г. В. \пер.\; Минц, Г. Е. \пер.\; Оревков, В. П. \ред.\ ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |