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

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

Поиск :

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

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


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

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

510.6

Отобрать для печати: страницу | инверсия | сброс | печать(0)
Сортировать по: заглавиюдате издания
<< назад | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | вперед >>

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


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

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


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

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


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

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


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

Проблемы математической логики: сложность алгоритмов и классы вычислимых функций: сб. пер.
Серия: Б-ка кибернетического сборника
Мир, 1970 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...


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

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


Доступно
 1 из 2
Книга
Кузнецов, А. В.
Логический вывод
Наука, 1979 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...


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

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


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


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

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


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

Т.1. : .
1973 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...


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

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


Многотомник

Исследования по теории алгорифмов и математической логике: сб. работ
Вычислительный центр АН СССР, 1973 г.
ISBN отсутствует


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


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


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

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


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


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

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


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

Logic, language, information and computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012: proceedings
Серия: Lecture notes in computer science
Springer, 2012 г.
ISBN 978-3-642-32620-2
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy


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

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


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

Developments in language theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012: proceedings
Серия: Lecture notes in computer science
Springer, 2012 г.
ISBN 978-3-642-31652-4
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy


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

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


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


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

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


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

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


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

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


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


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

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


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

Logic, language amd meaning: 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011: revised selected papers
Серия: Lecture notes in computer science
Springer, 2012 г.
ISBN 978-3-642-31481-0
Ст. Басманная к. А, контр.экз.: Staraya Basmannaya block A, Single copy


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

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


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


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

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


Доступно
 1 из 2
Книга
Гаврилов, Г. П.
Задачи и упражнения по курсу дискретной математики
Наука. Гл. ред. физ.-мат. лит., 1992 г.
ISBN 5-02-013991-2
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...


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

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


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

New directions in logic, language and computation: ESSLLI 2010 and ESSLLI 2011. Student sessions. Selected papers
Серия: Lecture notes in computer science
Springer, 2012 г.
ISBN 978-3-642-31466-7
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy


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

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


Доступно
 1 из 1
Книга
Глушков, В. М.
Методы символьной мультиобработки
Наукова думка, 1980 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy


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

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


Доступно
 1 из 2
Книга
Кемени, Дж.
Введение в конечную математику
Мир, 1965 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...


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

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

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