Каталог печатных изданий библиотеки НИУ ВШЭ

eng|rus
Пожалуйста, бронируйте контрольные экземпляры только тех книг, которых нет
в наличии ни в читальных залах, ни в открытом доступе, ни на научном абонементе.
По вопросам доступа к электронному каталогу обращайтесь в
отдел информационных систем и электронных ресурсов Библиотеки

Поиск :

  • Новые поступления
  • Простой поиск
  • Расширенный поиск
  • Авторы
  • Издательства
  • Серии
  • Тезаурус (Рубрики)
  • Электронный каталог Мандельштамовского центра
  • Помощь

Личный кабинет :


Электронный каталог: Справочник индексов УДК

К списку индексов УДК

510.5

Отобрать для печати: страницу | инверсия | сброс | печать(0)
Сортировать по: заглавиюдате издания
1 | 2 | 3 | вперед >>
Алгоритмы и рекурсивные функции
Доступно
 1 из 1
Книга
Мальцев, А. И.
Алгоритмы и рекурсивные функции
Наука. Гл. ред. физ.-мат. лит., 1965 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy


Заказать Заказать

На полку На полку

Теория алгорифмов и математическая логика
Доступно
 1 из 2
Книга

 Теория алгорифмов и математическая логика
Вычислительный центр АН СССР, 1974 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...


Заказать Заказать

На полку На полку

Очерки по конструктивной математике
Доступно
 1 из 2
Книга
Мартин-Леф, П.
Очерки по конструктивной математике
Серия: Б-ка сборника "Математика"
Мир, 1975 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...


Заказать Заказать

На полку На полку

Теория нумераций
Доступно
 1 из 2
Книга
Ершов, Ю. Л.
Теория нумераций
Серия: Сер. "Математическая логика и основания математики"
Наука. Гл. ред. физ.-мат. лит., 1977 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...


Заказать Заказать

На полку На полку

Introduction to mathematical logic
Доступно
 1 из 1
Книга
Malitz, J.
Introduction to mathematical logic: set theory, computable functions, model theory
Серия: Undergraduate texts in mathematics
Springer-Verlag, 1979 г.
ISBN 0-387-90346-1
МИЭМ, контр.экз. : MIEM, Single copy


Заказать Заказать

На полку На полку

Вычислимое и невычислимое
Доступно
 1 из 3
Книга
Манин, Ю. И.
Вычислимое и невычислимое
Серия: Сер. "Кибернетика"
Сов. радио, 1980 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...


Заказать Заказать

На полку На полку

Исследования по теории доказательств
Доступно
 1 из 2
Книга
Крайзель, Г.
Исследования по теории доказательств: сб. ст.
Серия: Сер. "Новое в зарубежной науке"
Мир, 1981 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...


Заказать Заказать

На полку На полку

Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов
Доступно
 1 из 2
Книга
Косовский, Н. К.
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учеб. пособие
Изд-во Ленингр. ун-та, 1981 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...


Заказать Заказать

На полку На полку

Теорема Гёделя о неполноте
Доступно
 1 из 3
Книга
Успенский, В. А.
Теорема Гёделя о неполноте
Серия: Сер. "Популярные лекции по математике"
Наука. Гл. ред. физ.-мат. лит., 1982 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...


Заказать Заказать

На полку На полку

Математическая логика и теория алгоритмов
Доступно
 1 из 2
Книга

 Математическая логика и теория алгоритмов
Серия: Сер. "Труды Ин-та математики"
Наука. Сибирское отд-ние, 1982 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...


Заказать Заказать

На полку На полку