Поиск :
Личный кабинет :
Электронный каталог: Мартин-Леф, П. - Очерки по конструктивной математике
Мартин-Леф, П. - Очерки по конструктивной математике
Доступно
1 из 2
1 из 2
Книга
Автор: Мартин-Леф, П.
Очерки по конструктивной математике
Серия: Б-ка сборника "Математика"
Издательство: Мир, 1975 г.
ISBN отсутствует
Автор: Мартин-Леф, П.
Очерки по конструктивной математике
Серия: Б-ка сборника "Математика"
Издательство: Мир, 1975 г.
ISBN отсутствует
Книга
51 М292
Мартин-Леф, П.
Очерки по конструктивной математике / П. Мартин-Леф; Пер. с англ. Г. Е. Минца; Под ред. А. Г. Драгалина. – М.: Мир, 1975. – 136 с. – (Б-ка сборника "Математика") .
510.25
510.5
510.6
517.5
общий = Математика = mathematics : основания математики = foundations of mathematics
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
общий = Математика = mathematics : математический анализ (дифференциальное и интегральное исчисление [517.2/.3]); теория функций [517.5], функциональный анализ, теория операторов = Mathematical analysis (differential and integral calculus); function theory; functional analysis; operator theory
167549 Библиотека НИУ ВШЭ МИЭМ, контр.экз. : MIEM, Single copy Научный 51 М292
167550 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 М292
51 М292
Мартин-Леф, П.
Очерки по конструктивной математике / П. Мартин-Леф; Пер. с англ. Г. Е. Минца; Под ред. А. Г. Драгалина. – М.: Мир, 1975. – 136 с. – (Б-ка сборника "Математика") .
510.25
510.5
510.6
517.5
общий = Математика = mathematics : основания математики = foundations of mathematics
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
общий = Математика = mathematics : математический анализ (дифференциальное и интегральное исчисление [517.2/.3]); теория функций [517.5], функциональный анализ, теория операторов = Mathematical analysis (differential and integral calculus); function theory; functional analysis; operator theory
167549 Библиотека НИУ ВШЭ МИЭМ, контр.экз. : MIEM, Single copy Научный 51 М292
167550 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 М292