Поиск :
Личный кабинет :
Электронный каталог: Справочник индексов УДК
К списку индексов УДК
Доступно
1 из 2
Доступно
1 из 3
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 18
Доступно
1 из 141
Доступно
1 из 83
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 2
510.6
Сортировать по: заглавиюдате издания
Доступно
1 из 2
Книга
The description logic handbook: theory, implementation, and applications
Cambridge University Press, 2010 г.
ISBN 978-0-521-15011-8
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...
The description logic handbook: theory, implementation, and applications
Cambridge University Press, 2010 г.
ISBN 978-0-521-15011-8
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...
Заказать 
На полку Доступно
1 из 3
Книга
Светлов, В. А.
Введение в единую теорию анализа и разрешения конфликтов: учеб. пособие для вузов
УРСС, Книжный дом "Либроком", 2012 г.
ISBN 978-5-397-02616-1
Шаболовка 28/11, чит. зал : Shabolovka, Reading hall, Покровский б-р,...
Светлов, В. А.
Введение в единую теорию анализа и разрешения конфликтов: учеб. пособие для вузов
УРСС, Книжный дом "Либроком", 2012 г.
ISBN 978-5-397-02616-1
Шаболовка 28/11, чит. зал : Shabolovka, Reading hall, Покровский б-р,...
Доступно
1 из 2
Книга
Духнина, Л. С.
Введение в математическую логику: учеб. пособие
Филиал МГТУ МИРЭА, 2011 г.
ISBN 978-5-84810-097-6
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...
Духнина, Л. С.
Введение в математическую логику: учеб. пособие
Филиал МГТУ МИРЭА, 2011 г.
ISBN 978-5-84810-097-6
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...
Доступно
1 из 2
Книга
The Continuum companion to philosophical logic
Continuum, 2011 г.
ISBN 978-1-441-15423-1
Ст. Басманная к. А, контр.экз.: Staraya Basmannaya block A, Single copy, С...
The Continuum companion to philosophical logic
Continuum, 2011 г.
ISBN 978-1-441-15423-1
Ст. Басманная к. А, контр.экз.: Staraya Basmannaya block A, Single copy, С...
Доступно
1 из 1
Книга
Antoniou, G.
Nonmonotonic reasoning
ISBN 978-0-262-01157-0
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Antoniou, G.
Nonmonotonic reasoning
Серия: Artificial Intelligence
The MIT Press, 1997 г.ISBN 978-0-262-01157-0
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 1
Книга
Burgess, J. P.
Mathematics, models, and modelity: selected philosophical essays
Cambridge University Press, 2011 г.
ISBN 978-0-521-18967-5
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Burgess, J. P.
Mathematics, models, and modelity: selected philosophical essays
Cambridge University Press, 2011 г.
ISBN 978-0-521-18967-5
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 18
Книга
Фалевич, Б. Я.
Теория алгоритмов: учеб. пособие для вузов
Машиностроение, 2004 г.
ISBN 5-217-03249-9
МИЭМ, уч.аб-т : MIEM, Study collection lending department, МИЭМ, контр.экз. ...
Фалевич, Б. Я.
Теория алгоритмов: учеб. пособие для вузов
Машиностроение, 2004 г.
ISBN 5-217-03249-9
МИЭМ, уч.аб-т : MIEM, Study collection lending department, МИЭМ, контр.экз. ...
Доступно
1 из 141
Книга
Колмогоров, А. Н.
Математическая логика: учеб. пособие для вузов
УРСС, 2005 г.
ISBN отсутствует
МИЭМ, уч.аб-т : MIEM, Study collection lending department, МИЭМ, контр.экз. ...
Колмогоров, А. Н.
Математическая логика: учеб. пособие для вузов
УРСС, 2005 г.
ISBN отсутствует
МИЭМ, уч.аб-т : MIEM, Study collection lending department, МИЭМ, контр.экз. ...
Доступно
1 из 83
Книга
Мендельсон, Э.
Введение в математическую логику
Наука. Гл. ред. физ.-мат. лит., 1984 г.
ISBN отсутствует
МИЭМ, уч.аб-т : MIEM, Study collection lending department, МИЭМ, контр.экз. ...
Мендельсон, Э.
Введение в математическую логику
Наука. Гл. ред. физ.-мат. лит., 1984 г.
ISBN отсутствует
МИЭМ, уч.аб-т : MIEM, Study collection lending department, МИЭМ, контр.экз. ...
Доступно
1 из 1
Книга
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов: учеб. пособие для вузов
Академия, 2005 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов: учеб. пособие для вузов
Академия, 2005 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy
Доступно
1 из 2
Книга
Игошин, В. И.
Математическая логика и теория алгоритмов: учеб. пособие для вузов
Академия, 2004 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, чит.зал : MIEM, Reading hall
Игошин, В. И.
Математическая логика и теория алгоритмов: учеб. пособие для вузов
Академия, 2004 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, чит.зал : MIEM, Reading hall
Доступно
1 из 1
Книга
Finite and algorithmic model theory
Cambridge University Press, 2011 г.
ISBN 978-0-521-71820-2
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Finite and algorithmic model theory
Cambridge University Press, 2011 г.
ISBN 978-0-521-71820-2
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 1
Книга
Walicki, M.
Introduction to mathematical logic
World Scientific, 2012 г.
ISBN 978-981-434-387-9
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Walicki, M.
Introduction to mathematical logic
World Scientific, 2012 г.
ISBN 978-981-434-387-9
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 1
Книга
Dutilh Novaes, C.
Formal languages in logic: a philosophical and cognitive analysis
Cambridge University Press, 2012 г.
ISBN 978-1-10-702091-7
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Dutilh Novaes, C.
Formal languages in logic: a philosophical and cognitive analysis
Cambridge University Press, 2012 г.
ISBN 978-1-10-702091-7
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 1
Книга
Even, G.
Digital logic design: a rigorous approach
Cambridge University Press, 2012 г.
ISBN 978-1-10-702753-4
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Even, G.
Digital logic design: a rigorous approach
Cambridge University Press, 2012 г.
ISBN 978-1-10-702753-4
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 2
Книга
Бизам, Д.
Многоцветная логика: 175 логических задач
Мир, 1978 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...
Бизам, Д.
Многоцветная логика: 175 логических задач
Мир, 1978 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...
Доступно
1 из 2
Книга
Бизам, Д.
Игра и логика: 85 логических задач
Мир, 1975 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...
Бизам, Д.
Игра и логика: 85 логических задач
Мир, 1975 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...
Доступно
1 из 2
Книга
Байиф, Ж.-К.
Логические задачи
Мир, 1983 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...
Байиф, Ж.-К.
Логические задачи
Мир, 1983 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...
Доступно
1 из 1
Книга
Барендрегт, Х.
Ламбда - исчисление. Его синтаксис и семантика
Мир, 1985 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy
Барендрегт, Х.
Ламбда - исчисление. Его синтаксис и семантика
Мир, 1985 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy
Доступно
1 из 2
Книга
Пойа, Д.
Математика и правдоподобные рассуждения
Наука. Гл. ред. физ.-мат. лит., 1975 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...
Пойа, Д.
Математика и правдоподобные рассуждения
Наука. Гл. ред. физ.-мат. лит., 1975 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...