Поиск :
Личный кабинет :
Электронный каталог: Справочник авторов
К списку авторов
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
75 из 76
Доступно
5 из 5
Доступно
1 из 2
Доступно
1 из 2
Доступно
4 из 4
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Ершов, Ю. Л.
Сортировать по: заглавиюСвязанные описания:
Экз. чит. зала
Книга
Гончаров, С. С.
Введение в логику и методологию науки
Интерпракс, 1994 г.
ISBN 5-86134-009-9
НТБ МЭИ : Кх
Гончаров, С. С.
Введение в логику и методологию науки
Интерпракс, 1994 г.
ISBN 5-86134-009-9
НТБ МЭИ : Кх
На полку Доступно
1 из 1
Книга
Вычислительные системы. Сборник научных трудов. Вып.161. Обобщенная вычислимость и определяемость: Сборник статей
1997 г.
ISBN отсутствует
НТБ МЭИ : Кх
Вычислительные системы. Сборник научных трудов. Вып.161. Обобщенная вычислимость и определяемость: Сборник статей
1997 г.
ISBN отсутствует
НТБ МЭИ : Кх
Заказать Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Книга
Вычислительные системы. Сборник научных трудов. Вып.165 : Структурные и сложностные проблемы вычи...: Сборник статей
1999 г.
ISBN отсутствует
НТБ МЭИ : Кх
Вычислительные системы. Сборник научных трудов. Вып.165 : Структурные и сложностные проблемы вычи...: Сборник статей
1999 г.
ISBN отсутствует
НТБ МЭИ : Кх
Доступно
75 из 76
Книга
Ершов, Ю. Л.
Математическая логика: Учебное пособие для математических специальностей вузов
Наука, 1979 г.
ISBN отсутствует
НТБ МЭИ : Уч.аб., Кх
Ершов, Ю. Л.
Математическая логика: Учебное пособие для математических специальностей вузов
Наука, 1979 г.
ISBN отсутствует
НТБ МЭИ : Уч.аб., Кх
Доступно
5 из 5
Книга
Ершов, Ю. Л.
Математическая логика: Учебное пособие
Лань-Пресс, 2004 г.
ISBN 5-8114-0533-2
НТБ МЭИ : Кх
Ершов, Ю. Л.
Математическая логика: Учебное пособие
Лань-Пресс, 2004 г.
ISBN 5-8114-0533-2
НТБ МЭИ : Кх
Доступно
1 из 2
Книга
Ершов, Ю. Л.
Математическая логика: учебное пособие
Лань-Пресс, 2005 г.
ISBN 5-8114-0533-2
НТБ МЭИ : Кх, Науч. чит. зал
Ершов, Ю. Л.
Математическая логика: учебное пособие
Лань-Пресс, 2005 г.
ISBN 5-8114-0533-2
НТБ МЭИ : Кх, Науч. чит. зал
Доступно
1 из 2
Книга
Ершов, Ю. Л.
Математическая логика: учебное пособие
Лань-Пресс, 2005 г.
ISBN 5-8114-0533-2
НТБ МЭИ : Кх, Учз
Ершов, Ю. Л.
Математическая логика: учебное пособие
Лань-Пресс, 2005 г.
ISBN 5-8114-0533-2
НТБ МЭИ : Кх, Учз
Доступно
4 из 4
Книга
Ершов, Ю. Л.
Математическая логика: учебное пособие для мат. спец.вузов
Наука, 1987 г.
ISBN отсутствует
НТБ МЭИ : Кх
Ершов, Ю. Л.
Математическая логика: учебное пособие для мат. спец.вузов
Наука, 1987 г.
ISBN отсутствует
НТБ МЭИ : Кх
Доступно
2 из 2
Доступно
1 из 1
Книга
Теория моделей и ее применения: сборник научных трудов
ISBN отсутствует
НТБ МЭИ : Кх
Теория моделей и ее применения: сборник научных трудов
Серия: Труды института математики
Наука, 1988 г.ISBN отсутствует
НТБ МЭИ : Кх
Доступно
1 из 1
Книга
Математическая логика и алгоритмические проблемы: сборник статей
ISBN отсутствует
НТБ МЭИ : Кх
Математическая логика и алгоритмические проблемы: сборник статей
Серия: Труды института математики
Наука, 1989 г.ISBN отсутствует
НТБ МЭИ : Кх
Доступно
1 из 1
Книга
Ершов, Ю. Л.
Проблемы разрешимости и конструктивные модели
Наука, 1980 г.
ISBN отсутствует
НТБ МЭИ : Кх
Ершов, Ю. Л.
Проблемы разрешимости и конструктивные модели
Наука, 1980 г.
ISBN отсутствует
НТБ МЭИ : Кх
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Книга
Вычислительные системы. Вып.114. Логические вопросы теории типов данных: сборник научных трудов
[б.и.], 1986 г.
ISBN отсутствует
НТБ МЭИ : Кх
Вычислительные системы. Вып.114. Логические вопросы теории типов данных: сборник научных трудов
[б.и.], 1986 г.
ISBN отсутствует
НТБ МЭИ : Кх
Доступно
1 из 1
Книга
Вычислительные системы. Вып.116. Прикладная логика: сборник научных трудов
[б.и.], 1986 г.
ISBN отсутствует
НТБ МЭИ : Кх
Вычислительные системы. Вып.116. Прикладная логика: сборник научных трудов
[б.и.], 1986 г.
ISBN отсутствует
НТБ МЭИ : Кх
Доступно
1 из 1
Книга
Вычислительные системы. Вып.120. Логические методы в программировании: сборник научных трудов
[б.и.], 1987 г.
ISBN отсутствует
НТБ МЭИ : Кх
Вычислительные системы. Вып.120. Логические методы в программировании: сборник научных трудов
[б.и.], 1987 г.
ISBN отсутствует
НТБ МЭИ : Кх
Доступно
1 из 1
Книга
Вычислительные системы. Вып.124 Языки спецификаций и логическое программирование: сборник научных трудов
[б.и.], 1988 г.
ISBN отсутствует
НТБ МЭИ : Кх
Вычислительные системы. Вып.124 Языки спецификаций и логическое программирование: сборник научных трудов
[б.и.], 1988 г.
ISBN отсутствует
НТБ МЭИ : Кх
Доступно
1 из 1
Книга
Вычислительные системы. Вып.129. Теория алгоритмов и ее приложения: сборник научных трудов
[б.и.], 1989 г.
ISBN отсутствует
НТБ МЭИ : Кх
Вычислительные системы. Вып.129. Теория алгоритмов и ее приложения: сборник научных трудов
[б.и.], 1989 г.
ISBN отсутствует
НТБ МЭИ : Кх
Доступно
1 из 1
Книга
Вычислительные системы. Вып.133. Логические методы в программировании: сборник научных трудов
[б.и.], 1990 г.
ISBN отсутствует
НТБ МЭИ : Кх
Вычислительные системы. Вып.133. Логические методы в программировании: сборник научных трудов
[б.и.], 1990 г.
ISBN отсутствует
НТБ МЭИ : Кх
Доступно
1 из 1
Книга
Вычислительные системы. Вып.139. Теория вычислимости и языки спецификаций: сборник научных трудов
[б.и.], 1991 г.
ISBN отсутствует
НТБ МЭИ : Кх
Вычислительные системы. Вып.139. Теория вычислимости и языки спецификаций: сборник научных трудов
[б.и.], 1991 г.
ISBN отсутствует
НТБ МЭИ : Кх