Поиск :
Личный кабинет :
Электронный каталог: Гильберт, Д. - Основания математики
Гильберт, Д. - Основания математики
Доступно
1 из 4
1 из 4
Книга
Автор: Гильберт, Д.
Основания математики : логические исчисления и формализация арифметики
Серия: Сер. "Математическая логика и основания математики"
Издательство: Наука. Гл. ред. физ.-мат. лит., 1982 г.
ISBN отсутствует
Автор: Гильберт, Д.
Основания математики : логические исчисления и формализация арифметики
Серия: Сер. "Математическая логика и основания математики"
Издательство: Наука. Гл. ред. физ.-мат. лит., 1982 г.
ISBN отсутствует
Заказать 
На полку
Книга
51 Г474
Гильберт, Д.
Основания математики : логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс; Под ред. С. И. Адяна; Пер. с нем. Н. М. Нагорного. – Изд. 2-е. – М.: Наука. Гл. ред. физ.-мат. лит., 1982. – 556 с. – (Сер. "Математическая логика и основания математики"). – Grundlagen der mathematik.
510.6
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
общий = Математика = mathematics : основания математики = foundations of mathematics
166096 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 Г474
166097 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 Г474
166098 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 Г474
82700 Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 51 Г474
51 Г474
Гильберт, Д.
Основания математики : логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс; Под ред. С. И. Адяна; Пер. с нем. Н. М. Нагорного. – Изд. 2-е. – М.: Наука. Гл. ред. физ.-мат. лит., 1982. – 556 с. – (Сер. "Математическая логика и основания математики"). – Grundlagen der mathematik.
510.6
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
общий = Математика = mathematics : основания математики = foundations of mathematics
166096 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 Г474
166097 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 Г474
166098 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 Г474
82700 Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 51 Г474