Электронный каталог библиотеки МИСИС
👓
eng
|
rus
Библиотека МИСИС
Режим работы:
Читальный зал Пн-Пт 10:00-18:00
Абонементы Пн-Чт 10:00-17:00,
Пт 10:00-16:00
Обед 12:00-13:00
В период каникул Вт, Чт 14:00-16:00
сайт:
lib.misis.ru
e-mail:
swt@ntb.misis.ru
Поиск :
Новые поступления
Расширенный поиск
Поиск одной строкой
Дискавери
Авторы
Издательства
Серии
Тезаурус (Рубрики)
Публичные полки
Учебная литература:
По дисциплинам
По специальностям
По специализациям
По кафедрам
Список дисциплин
Информация о фонде
· Журналы
· Электронная библиотека МИСИС
· Другие электронные учебники
· Все электронные ресурсы
Помощь
Личный кабинет :
Номер читательского билета. Если читательский билет не был получен, номер пропуска (студенческого)
Ваше имя
Электронный каталог: Справочник авторов
К списку авторов
Адян, С. И.
Сортировать по:
заглавию
Связанные описания:
Отобрать для печати:
страницу
|
инверсия
|
сброс
|
печать
(
0
)
Доступно
1 из 1
Книга
Мат.ин-т им.В.А.Стеклова
85/250. : Определяющие соотношения и алгоритмические проблемы для групп и полугрупп
Изд-во АН СССР, 1966 г.
ISBN отсутствует
Библиотека МИСиС : Научный
Заказать
На полку
Доступно
1 из 1
Книга
Мендельсон, Э.
Введение в математическую логику
Наука, 1971 г.
ISBN отсутствует
Библиотека Горного : Научный ГИ
Заказать
На полку
Доступно
1 из 1
Книга
Мендельсон, Э.
Введение в математическую логику
Наука, 1976 г.
ISBN отсутствует
Библиотека МИСиС : Научный
Заказать
На полку
Доступно
4 из 4
Книга
Мендельсон, Э.
Введение в математическую логику
Наука, 1984 г.
ISBN отсутствует
Библиотека МИСиС : Научный
Библиотека Горного : Научный ГИ
Заказать
На полку
Книга (аналит. описание)
Адян, С. И.
О простых кватернионах, соотношениях Гурвица и новой операции расширения групп
б.г.
ISBN отсутствует
На полку
Доступно
2 из 2
Книга
Гильберт, Д.
Основания математики: Логические исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
Библиотека МИСиС : Научный
Заказать
На полку
Доступно
2 из 2
Книга
Гильберт, Д.
Основания математики: Теория доказательств
Наука, 1982 г.
ISBN отсутствует
Библиотека МИСиС : Научный
Заказать
На полку
Доступно
1 из 1
Книга
Т. 242: Математическая логика и алгебра.
2003 г.
ISBN 5-02-032604-6
Библиотека МИСиС : Научный
Заказать
На полку
Доступно
1 из 1
Книга
Такеути, Г.
Теория доказательств: пер. с англ.
Мир, 1978 г.
ISBN отсутствует
Библиотека МИСиС : Научный
Заказать
На полку