Поиск :
Личный кабинет :
Электронный каталог: Крайзель, Г. - Исследования по теории доказательств
Крайзель, Г. - Исследования по теории доказательств
Доступно
1 из 2
1 из 2
Книга
Автор: Крайзель, Г.
Исследования по теории доказательств : сб. ст.
Серия: Сер. "Новое в зарубежной науке"
Издательство: Мир, 1981 г.
ISBN отсутствует
Автор: Крайзель, Г.
Исследования по теории доказательств : сб. ст.
Серия: Сер. "Новое в зарубежной науке"
Издательство: Мир, 1981 г.
ISBN отсутствует
Книга
51 К775
Крайзель, Г.
Исследования по теории доказательств: сб. ст. / Г. Крайзель; Пер. с англ. Ю. А. Гастева, Г. Е. Минца; Под ред. С. Ю. Маслова. – М.: Мир, 1981. – 289 с. – (Сер. "Новое в зарубежной науке"; 23. Математика) .
510.2
510.5
общий = Математика = mathematics : основания математики = foundations of mathematics
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
общий = Математика = mathematics : история и биографии. Избранные труды. Сборники = history and biographies. Selectas. Collected works.
167075 Библиотека НИУ ВШЭ МИЭМ, контр.экз. : MIEM, Single copy Научный 51 К775
167076 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 К775
51 К775
Крайзель, Г.
Исследования по теории доказательств: сб. ст. / Г. Крайзель; Пер. с англ. Ю. А. Гастева, Г. Е. Минца; Под ред. С. Ю. Маслова. – М.: Мир, 1981. – 289 с. – (Сер. "Новое в зарубежной науке"; 23. Математика) .
510.2
510.5
общий = Математика = mathematics : основания математики = foundations of mathematics
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
общий = Математика = mathematics : история и биографии. Избранные труды. Сборники = history and biographies. Selectas. Collected works.
167075 Библиотека НИУ ВШЭ МИЭМ, контр.экз. : MIEM, Single copy Научный 51 К775
167076 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 К775