Электронный каталог
👓
eng
|
rus
Библиотека Московского Педагогического
Государственного Университета
Адрес: ул. М. Пироговская, д. 1, стр.1
Телефон: 8(499)255-27-57
Часы работы: с 10.00 до 18.00
Поиск :
Новые поступления
Простой поиск
Расширенный поиск
Авторы
Издательства
Серии
Тезаурус (Рубрики)
Учебная литература:
По дисциплинам
По образовательным программам
Список дисциплин
Статистика поисков
Электронная библиотека
База выпускных квалификационных работ
Электронные ресурсы
Помощь
Личный кабинет :
Штрих-код
Пароль
Электронный каталог: Справочник авторов
К списку авторов
Верещагин, Николай Константинович
Сортировать по:
заглавию
Связанные описания:
Отобрать для печати:
страницу
|
инверсия
|
сброс
|
печать
(
0
)
Доступно
1 из 1
Книга
Успенский, Борис Андреевич
Вводный курс математической логики: [Учеб.пособие для вузов]
Физматлит, 2002 г.
ISBN 5-9221-0278-8
МПГУ : МАТ
Заказать
На полку
Доступно
3 из 3
Книга
Успенский, Борис Андреевич
Вводный курс математической логики: [Учеб.пособие для вузов]
Физматлит, 2004 г.
ISBN 5-9221-0278-8
МПГУ : МАТ
Заказать
На полку
Экз. чит. зала
Книга
Верещагин, Николай Константинович
Вычислимые функции
Серия:
Лекции по математической логике и теории алгоритмов
,
Современные лекционные курсы
МЦНМО, МЦНМО, 2008 г.
ISBN 978-5-94057-323-4
МПГУ : МАТ
На полку
Доступно
1 из 1
Книга
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 1: Начала теории множеств
Серия:
Современные лекционные курсы
МЦНМО, 2017 г.
ISBN 978-5-4439-0943-1
МПГУ : МАТ
Заказать
На полку
Доступно
1 из 1
Книга
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 2: Языки исчисления
Серия:
Современные лекционные курсы
МЦНМО, 2017 г.
ISBN 978-5-4439-0944-8
МПГУ : МАТ
Заказать
На полку
Экз. чит. зала
Книга
Верещагин, Николай Константинович
Лекции по математической логике и теории алгоритмов. Ч. 3: Вычислимые функции
Серия:
Современные лекционные курсы
МЦНМО, 2012 г.
ISBN 978-5-4439-0014-8
МПГУ : МАТ
На полку
Доступно
1 из 1
Книга
Верещагин, Николай Константинович
Языки и исчисления
Серия:
Лекции по математической логике и теории алгоритмов
,
Современные лекционные курсы
МЦНМО, МЦНМО, 2000 г.
ISBN 5-900916-66-9
МПГУ : МАТ
Заказать
На полку