Электронный каталог
👓
eng
|
rus
Библиотека Московского Педагогического
Государственного Университета
Адрес: ул. М. Пироговская, д. 1, стр.1
Телефон: 8(499)255-27-57
Часы работы: с 10.00 до 18.00
Поиск :
Новые поступления
Простой поиск
Расширенный поиск
Авторы
Издательства
Серии
Тезаурус (Рубрики)
Учебная литература:
По дисциплинам
По образовательным программам
Список дисциплин
Статистика поисков
Электронная библиотека
База выпускных квалификационных работ
Электронные ресурсы
Помощь
Личный кабинет :
Штрих-код
Пароль
Электронный каталог: Справочник авторов
К списку авторов
Маслов, Сергей Юрьевич
Сортировать по:
заглавию
Связанные описания:
Отобрать для печати:
страницу
|
инверсия
|
сброс
|
печать
(
0
)
Статья
Маслов, Сергей Юрьевич
Творческие стили и состояние общества
б.г.
ISBN отсутствует
На полку
Экз. чит. зала
Книга
Катленд, Найджел
Вычислимость. Введение в теорию рекурсивных функций
Мир, 1983 г.
ISBN отсутствует
МПГУ : МАТ
На полку
Доступно
2 из 2
Книга
Крайзель, Георг
Исследования по теории доказательств: Сб. статей
Серия:
Математика. Новое в зарубеж. науке
Мир, 1981 г.
ISBN отсутствует
МПГУ : МАТ
Заказать
На полку
Доступно
3 из 3
Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Серия:
Математическая логика и основания математики
Наука, 1983 г.
ISBN отсутствует
МПГУ : МАТ
Заказать
На полку
Доступно
2 из 2
Книга
Маслов, Сергей Юрьевич
Теория дедуктивных систем и ее применения
Серия:
Кибернетика
Радио и связь, 1986 г.
ISBN отсутствует
МПГУ : МАТ
Заказать
На полку