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

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

Поиск :

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

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


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

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

510.6

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

Доступно
 1 из 4
Книга
Колмогоров, А. Н.
Математическая логика: учеб. пособие для вузов
Серия: Сер. "Классический университетский учебник"
УРСС, КомКнига, 2006 г.
ISBN 5-484-00520-5
Мясницкая, науч.аб-т : Myasnitskaya, Academic collection lending departmen, Ша...


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

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


Доступно
 2 из 48
Книга
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2004 г.
ISBN 5-922100-26-2
Мясницкая, чит.зал : Myasnitskaya, Reading hall, МИЭМ, уч.аб-т : MIEM, St...


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

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


Доступно
 1 из 2
Книга
Ворожцов, А. В.
Путь в современную информатику
УРСС, 2003 г.
ISBN отсутствует
Шаболовка 28/11, чит. зал : Shabolovka, Reading hall, Покровский б-р,...


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

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


Доступно
 1 из 189
Книга
Гаврилов, Г. П.
Задачи и упражнения по дискретной математике: учеб. пособие
Физматлит, 2005 г.
ISBN 5-922104-77-2
Мясницкая, науч.аб-т : Myasnitskaya, Academic collection lending departmen, МИ...


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

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


Доступно
 1 из 2
Книга
Сошников, Д. В.
Парадигма логического программирования
Вузовская книга, 2006 г.
ISBN 5-9502020-5-8
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Шаболовк...


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

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


Доступно
 1 из 3
Книга
Наголкин, А. Н.
Алгебра логики в золотом сечении: еще один шаг в область нечетких логик и компьютерного интеллекта
МАКС Пресс, 2006 г.
ISBN 5-317-01731-9
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...


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

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


Доступно
 1 из 2
Книга
Тимофеева, И. Л.
Математическая логика: курс лекций: учеб. пособие для вузов
КДУ, 2007 г.
ISBN отсутствует
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...


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

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


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

Information, interaction and agency
Springer, 2005 г.
ISBN 1-402-03600-0
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy


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

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


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

The description logic handbook: theory, implementation, and applications
Cambridge University Press, 2007 г.
ISBN 0-521-87625-7
МИЭМ, контр.экз. : MIEM, Single copy


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

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


Доступно
 1 из 1
Книга
Лыскова, В. Ю.
Логика в информатике: метод. пособие
Серия: Сер. "Информатика"
Лаборатория Базовых Знаний, 2001 г.
ISBN 5-932081-05-8
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy


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

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


Доступно
 1 из 1
Книга
Negri, S.
Structural proof theory
Cambridge University Press, 2008 г.
ISBN 978-0-521-06842-0
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy


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

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


Доступно
 1 из 1
Книга
Бажанов, В. А.
Н. А. Васильев и его воображаемая логика. Воскрешение одной забытой идеи
Канон+, 2009 г.
ISBN 978-5-88373-196-8
Ст. Басманная к. А, контр.экз.: Staraya Basmannaya block A, Single copy


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

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


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

The description logic handbook: theory, implementation, and applications
Cambridge University Press, 2008 г.
ISBN 978-0-521-87625-4
Покровский б-р, науч. аб-т : Pokrovsky blvd., Academic collection lending depa...


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

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


Доступно
 1 из 1
Книга
Gabbay, D. M.
Vol.1. : .
2009 г.
ISBN 978-0-444-52012-8
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy


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

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


Многотомник
Gabbay, D. M.
Quantification in nonclassical logic
Серия: Studies in logic and the foundations of mathematics
Elsevier, 2009 г.
ISBN 978-0-444-52012-8


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


Доступно
 1 из 4
Книга
Manin, Y. I.
A course in mathematical logic for mathematicians
Серия: Graduate texts in mathematics
Springer, 2010 г.
ISBN 978-1-441-90614-4
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...


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

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


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

Deduction, computation, experiment: exploring the effectiveness of proof
Springer, 2008 г.
ISBN 978-88-470-0783-3
Ст. Басманная к. А, контр.экз.: Staraya Basmannaya block A, Single copy


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

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


Доступно
 1 из 2
Книга
Clark, T. D.
Applying fuzzy mathematics to formal models in comparative politics
Серия: Studies in fuzziness and soft computing
Springer, 2008 г.
ISBN 978-3-642-09612-9
Покровский б-р, науч. аб-т : Pokrovsky blvd., Academic collection lending depa...


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

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


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

Logic, mathematics, philosophy: vintage enthusiasms: essays in honour of John L. Bell
Серия: The Western Ontario series in philosophy of science
Springer, 2011 г.
ISBN 978-94-00-70213-4
Ст. Басманная к. А, контр.экз.: Staraya Basmannaya block A, Single copy


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

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


Доступно
 1 из 2
Книга
Arfi, B.
Linguistic fuzzy logic methods in social sciences
Серия: Studies in fuzziness and soft computing
Springer, 2010 г.
ISBN 978-3-642-13342-8
Покровский б-р, науч. аб-т : Pokrovsky blvd., Academic collection lending depa...


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

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

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