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

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

Поиск :

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

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


Электронный каталог: Справочник авторов

К списку авторов

Минца, Г. Е.

Сортировать по: заглавию

Связанные описания:

Отобрать для печати: страницу | инверсия | сброс | печать(0)

Доступно
 1 из 4
Книга

Ч.4. : Теория доказательств и конструктивная математика
1983 г.
ISBN отсутствует
МИЭМ, науч.аб-т : MIEM, Academic collection lending department, Покровский ...


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

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


Доступно
 1 из 1
Книга
Барендрегт, Х.
Ламбда - исчисление. Его синтаксис и семантика
Мир, 1985 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy


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

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


Доступно
 1 из 5
Книга
Грэй, П.
Логика, алгебра и базы данных
Машиностроение, 1989 г.
ISBN 5-217-00178-X
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...


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

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


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


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

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


Доступно
 1 из 1
Книга
Энгелер, Э.
Математика элементарной математики
Мир, 1987 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy


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

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


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


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

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


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


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

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


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


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

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


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


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

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


Доступно
 1 из 1
Книга

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


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

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


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


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

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


Доступно
 1 из 3
Книга
Алефельд, Г.
Введение в интервальные вычисления
Мир, 1987 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...


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

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

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