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

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

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

ФИЛИАЛЫ

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

Поиск :

  • Новые поступления
  • Простой поиск
  • Расширенный поиск

  • Авторы
  • Издательства
  • Серии
  • Тезаурус (Рубрики)

  • Учебная литература:
    • По дисциплинам
    • По специальностям
    • По специализациям
    • По кафедрам
    • Список дисциплин

  • Информация о фонде
  • Помощь

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


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

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

510.6

Отобрать для печати: страницу | инверсия | сброс | печать(0)
Сортировать по: заглавиюдате издания
1 | 2 | 3 | вперед >>
Популярная логика
Доступно
 2 из 2
Книга
Гжегорчик, А.
Популярная логика: общедоступный очерк логики предложений
Наука, 1972 г.
ISBN отсутствует
ОХОФ, ОНЛ


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

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

Теория доказательств
Доступно
 2 из 2
Книга
Такеути, Гаиси
Теория доказательств
Мир, 1978 г.
ISBN отсутствует
ОХОФ, ОНЛ


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

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

Многоцветная логика
Доступно
 2 из 2
Книга
Бизам, Дьердь
Многоцветная логика: 175 логических задач
Мир, 1978 г.
ISBN отсутствует
ОХОФ, ОНЛ


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

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

Популярная логика
Доступно
 1 из 1
Книга
Гжегорчик, А.
Популярная логика: общедоступный очерк логики предложений
Наука, 1979 г.
ISBN отсутствует
ОХОФ


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

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

Основания математики
Доступно
 1 из 1
Книга
Гильберт, Д.
Основания математики: логические исчисления и формализация арифметики
Серия: Математическая логика и основания математики
Наука, 1979 г.
ISBN отсутствует
ОХОФ


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

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

Исследования по теории алгорифмов и математической логике
Доступно
 1 из 1
Книга

Исследования по теории алгорифмов и математической логике: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
ОХОФ


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

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

Доказуемое и недоказуемое
Доступно
 1 из 1
Книга
Манин, Ю.И.
Доказуемое и недоказуемое
Серия: Кибернетика
Советское радио, 1979 г.
ISBN отсутствует
ОХОФ


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

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

Прикладной нестандартный анализ
Доступно
 3 из 3
Книга
Девис, Мартин
Прикладной нестандартный анализ
Мир, 1980 г.
ISBN отсутствует
ОХОФ, ОНЛ


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

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

Исследования по теории доказательств
Доступно
 3 из 3
Книга
Крайзель, Г.
Исследования по теории доказательств: сборник статей
Серия: Математика : новое в зарубежной науке
Мир, 1981 г.
ISBN отсутствует
ОХОФ, ОНЛ


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

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

Основания математики
Доступно
 1 из 1
Книга
Гильберт, Д.
Основания математики: теория доказательств
Серия: Математическая логика и основания математики
Наука, 1982 г.
ISBN отсутствует
ОХОФ


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

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

Основания математики
Доступно
 1 из 1
Книга
Гильберт, Д.
Основания математики: логические исчисления и формализация арифметики
Серия: Математическая логика и основания математики
Наука, 1982 г.
ISBN отсутствует
ОХОФ


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

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

Как математика ум в порядок приводит
Доступно
 4 из 4
Книга
Столяр, А.А.
Как математика ум в порядок приводит
Вышэйшая школа, 1982 г.
ISBN отсутствует
ОХОФ, ОНЛ


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

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

Математическая логика и теория алгоритмов
Доступно
 1 из 1
Книга

Математическая логика и теория алгоритмов: [сборник статей]
Серия: Труды Института математики
Наука, Сибирское отделение, 1982 г.
ISBN отсутствует
ОХОФ


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

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

Теория моделей
Доступно
 1 из 1
Книга

Ч.1. : Теория моделей
1982 г.
ISBN отсутствует
ОХОФ


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

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

Математическая логика, математическая лингвистика и теория алгоритмов
Доступно
 1 из 1
Книга

Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
КГУ, 1983 г.
ISBN отсутствует
ОХОФ


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

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

Математическая логика и автоматическое доказательство теорем
Доступно
 2 из 2
Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Серия: Математическая логика и основания математики
Наука, 1983 г.
ISBN отсутствует
ОХОФ, ОНЛ


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

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

Решение логических и игровых задач
Доступно
 3 из 3
Книга
Шапиро, С.И.
Решение логических и игровых задач: (логико-психологические этюды)
Серия: Кибернетика
Радио и связь, 1984 г.
ISBN отсутствует
ОХОФ, ОНЛ


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

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

Вопросы математической логики и ее приложения
Доступно
 1 из 1
Книга

Вопросы математической логики и ее приложения: межвузовский сборник научных трудов
МГПИ, 1984 г.
ISBN отсутствует
ОХОФ


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

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

Элементы математической логики
Доступно
 3 из 3
Книга
Марков, А.А.
Элементы математической логики
Издательство Московского университета, 1984 г.
ISBN отсутствует
ОХОФ, ОНЛ


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

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

Введение в математическую логику
Доступно
 4 из 4
Книга
Мендельсон, Эллиот
Введение в математическую логику
Наука, 1984 г.
ISBN отсутствует
ОХОФ, ОНЛ


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

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

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