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

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

По вопросам доступа к электронному каталогу обращайтесь в
отдел информационных систем и электронных ресурсов Библиотеки

Поиск :

  • Новые поступления
  • Простой поиск
  • Расширенный поиск

  • Авторы
  • Издательства
  • Серии
  • Тезаурус (Рубрики)

  • Электронный каталог Мандельштамовского центра
  • Помощь

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


Электронный каталог: Катленд, Н. - Вычислимость. Введение в теорию рекурсивных функций

Катленд, Н. - Вычислимость. Введение в теорию рекурсивных функций

Доступно
 1 из 4
Книга
Автор: Катленд, Н.
Вычислимость. Введение в теорию рекурсивных функций
Издательство: Мир, 1983 г.
ISBN отсутствует

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

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


Книга
51 К295

Катленд, Н.
Вычислимость. Введение в теорию рекурсивных функций / Н. Катленд; Пер. с англ. А. А. Мучника; Под ред. С. Ю. Маслова. – М.: Мир, 1983. – 256 с.

510.57
510.6
519.712

общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
общий = Математика = mathematics : математическая кибернетика. Теория систем и управление = mathematical cybernetics. Systems theory and management [519.7]

170662 Библиотека НИУ ВШЭ МИЭМ, контр.экз. : MIEM, Single copy Научный 51 К295
172793 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 К295
170663 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 К295
170664 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 К295



© Все права защищены ООО "Компания Либэр" , 2009 - 2025  v.20.204