Поиск :
Личный кабинет :
Электронный каталог: Клини, С. - Основания интуиционистской математики
Клини, С. - Основания интуиционистской математики
Доступно
1 из 3
1 из 3
Книга
Автор: Клини, С.
Основания интуиционистской математики : с точки зрения теории рекурсивных функций
Серия: Сер. "Математическая логика и основания математики"
Издательство: Наука. Гл. ред. физ.-мат. лит., 1978 г.
ISBN отсутствует
Автор: Клини, С.
Основания интуиционистской математики : с точки зрения теории рекурсивных функций
Серия: Сер. "Математическая логика и основания математики"
Издательство: Наука. Гл. ред. физ.-мат. лит., 1978 г.
ISBN отсутствует
Заказать 
На полку
Книга
51 К493
Клини, С.
Основания интуиционистской математики: с точки зрения теории рекурсивных функций / С. Клини, Р. Весли; Пер. с англ. Ф. А. Кабакова, Б. А. Кушнера. – М.: Наука. Гл. ред. физ.-мат. лит., 1978. – 271 с. – (Сер. "Математическая логика и основания математики").
510.6
517
общий = Математика = 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
166655 Библиотека НИУ ВШЭ МИЭМ, контр.экз. : MIEM, Single copy Научный 51 К493
166656 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 К493
166657 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 К493
51 К493
Клини, С.
Основания интуиционистской математики: с точки зрения теории рекурсивных функций / С. Клини, Р. Весли; Пер. с англ. Ф. А. Кабакова, Б. А. Кушнера. – М.: Наука. Гл. ред. физ.-мат. лит., 1978. – 271 с. – (Сер. "Математическая логика и основания математики").
510.6
517
общий = Математика = 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
166655 Библиотека НИУ ВШЭ МИЭМ, контр.экз. : MIEM, Single copy Научный 51 К493
166656 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 К493
166657 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 К493