Электронный каталог НБ БНТУ

rus
Научная библиотека БНТУ
Режим работы: Пн-Пт.
- читальные залы с 9:00 до 20:00
- абонементы с 9:00 до 19:00
Сб. с 9:00 до 16:45. Вс. - выходной.
Адреса: г. Минск, ул. Я. Коласа, 16 (читальные залы)
пр. Независимости, 65 (абонементы и читальные залы)

ОНЛАЙН-ЗАКАЗ книг из каталога

ФИЛИАЛЫ

КНИГООБЕСПЕЧЕННОСТЬ

Поиск :

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

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


Электронный каталог: Смальян, Раймонд - Теория формальных систем

Смальян, Раймонд - Теория формальных систем

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

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

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


Книга
51 С50

Смальян, Раймонд.
Теория формальных систем: пер. с англ. / Раймонд Смальян; пер. Н.К. Косовский; под ред. Н.А. Шанин. – Москва: Наука, 1981. – 207 с.: ил. – (Математическая логика и основания математики) . – На рус. яз.: 0.70.

510.64

общий = МАТЕМАТИЧЕСКАЯ ЛОГИКА
Филиал Всего Доступно для брони Доступно для выдачи Бронирование
ОХОФ 1 1 1 Заказать
ОНЛ 1 1 1 Заказать

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