Электронный каталог библиотеки МИСИС

👓
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

Поиск :

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

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


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

К списку индексов УДК

510.6

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

Доступно
 1 из 1
Книга
Такеути, Г.
Теория доказательств: пер. с англ.
Мир, 1978 г.
ISBN отсутствует
Библиотека МИСиС : Научный


Заказать Заказать

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


Доступно
 2 из 2
Книга
Гильберт, Д.
Основания математики: Теория доказательств
Наука, 1982 г.
ISBN отсутствует
Библиотека МИСиС : Научный


Заказать Заказать

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


Доступно
 1 из 1
Книга
Колмогоров, А. Н.
Математическая логика: Доп. главы: Учеб. пособие для вузов по спец. 'Математика'
Изд-во МГУ, 1984 г.
ISBN отсутствует
Библиотека МИСиС : Научный


Заказать Заказать

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


Доступно
 2 из 2
Книга
Барендрегт, Х. П.
Ламбада-исчисление: Его синтаксис и семантика: Пер. с англ.
Мир, 1985 г.
ISBN отсутствует
Библиотека МИСиС : Научный


Заказать Заказать

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


Доступно
 1 из 1
Книга
Вольвачев, Р. Т.
Элементы математической логики и теории множеств
Университетское, 1986 г.
ISBN отсутствует
Библиотека МИСиС : Научный


Заказать Заказать

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


Доступно
 2 из 2
Книга
Маслов, С. Ю.
Теория дедуктивных систем и ее применения
Радио и связь, 1986 г.
ISBN отсутствует
Библиотека МИСиС : Научный


Заказать Заказать

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


Доступно
 1 из 1
Книга
Волгин, Л. И.
Непрерывная логика.Теория и применения
1990 г.
ISBN отсутствует
Библиотека МИСиС : Научный


Заказать Заказать

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


Доступно
 1 из 1
Книга
Успенский, В. А.
Вводный курс математической логики
Физматлит, 2002 г.
ISBN 5-922102-78-8
Библиотека МИСиС : Научный


Заказать Заказать

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

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