Электронный каталог - Electronic Catalogue
eng
|
rus
Библиотека
НИУ ВШЭ
Санкт-Петербург
HSE St.Petersburg Library
Поиск :
Новые поступления
Простой поиск
Расширенный поиск
Авторы
Издательства
Серии
Тезаурус (Рубрики)
Помощь
Личный кабинет :
Номер единой электронной карты (пропуска)
PIN-код
Электронный каталог: Справочник авторов
К списку авторов
Маслов, С. Ю.
Сортировать по:
заглавию
Связанные описания:
Отобрать для печати:
страницу
|
инверсия
|
сброс
|
печать
(
0
)
Экз. чит. зала
Книга
Маслов, С. Ю.
Дедуктивные системы и их экономические применения: Препринт
ВИНИТИ, 1983 г.
ISBN отсутствует
/ : Промышленная, 17
На полку
Доступно
1 из 2
Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Symbolic logic and mechanical theorem proving
Серия:
Математическая логика и основания математики
Наука, 1983 г.
ISBN отсутствует
/ : Промышленная, 17
На полку
Экз. чит. зала
Книга
Методические указания по разделу "Элементы математической логики" (курс высшей математики)
1977 г.
ISBN отсутствует
/ : Промышленная, 17
На полку
Экз. чит. зала
Книга
Маслов, С. Ю.
Теория дедуктивных систем и ее применения
Серия:
Кибернетика
Радио и связь, 1986 г.
ISBN отсутствует
/ : Промышленная, 17
На полку