Электронный каталог

👓
eng|rus
Библиотека Московского Педагогического
Государственного Университета
Адрес: ул. М. Пироговская, д. 1, стр.1
Телефон: 8(499)255-27-57
Часы работы: с 10.00 до 18.00

Поиск :

  • Новые поступления
  • Простой поиск
  • Расширенный поиск
  • Авторы
  • Издательства
  • Серии
  • Тезаурус (Рубрики)
  • Учебная литература:
    • По дисциплинам
    • По образовательным программам
    • Список дисциплин
  • Статистика поисков
  • Электронная библиотека
  • База выпускных квалификационных работ
  • Электронные ресурсы
  • Помощь

Личный кабинет :


Электронный каталог: Справочник таблиц УДК

К списку таблиц УДК

510.64

Отобрать для печати: страницу | инверсия | сброс | печать(0)
Сортировать по: заглавиюдате издания

Нет экз.
Электронный ресурс
Грибанов, Д. В.
Неклассические логики и лямбда-исчисление: некоторые элементы
ННГУ им. Н. И. Лобачевского, 2021 г.
ISBN отсутствует

полный текст

полный текст


На полку На полку


Нет экз.
Электронный ресурс
Малышев Д. С.
Некоторые элементы неклассических логик и лямбда-исчисления: учебно-методическое пособие
ННГУ им. Н. И. Лобачевского, 2017 г.
ISBN отсутствует

полный текст

полный текст


На полку На полку


Нет экз.
Электронный ресурс
Малышев Д. С.
Элементы неклассических логик и моделей вычислений: учебно-методическое пособие
ННГУ им. Н. И. Лобачевского, 2015 г.
ISBN отсутствует

полный текст

полный текст


На полку На полку

© Все права защищены ООО "Компания Либэр" , 2009 - 2024  v.20.203