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

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

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

ФИЛИАЛЫ

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

Поиск :

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

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

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

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

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


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

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

517.11

Отобрать для печати: страницу | инверсия | сброс | печать(0)
Сортировать по: заглавиюдате издания
<< назад | 1 | 2 | 3 | вперед >>
Математическая логика
Доступно
 3 из 3
Книга
Клини, Стефен Коул
Математическая логика
Мир, 1973 г.
ISBN отсутствует
ОХОФ, ОНЛ


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

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

Язык логики
Доступно
 5 из 5
Книга
Фрейденталь, Ханс
Язык логики
Наука, 1969 г.
ISBN отсутствует
ОХОФ, ОНЛ


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

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

Игра и логика
Доступно
 1 из 1
Книга
Бизам, Дьердь
Игра и логика: 85 логических задач
Мир, 1975 г.
ISBN отсутствует
ОХОФ


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

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

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


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

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

Алгебра логики и контактные схемы
Доступно
 1 из 1
Книга
Ефремов, Г.О.
Алгебра логики и контактные схемы
Серия: Новое в жизни, науке, технике
Знание, 1969 г.
ISBN отсутствует
ОХОФ


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

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

Избранные вопросы алгебры и логики
Доступно
 1 из 1
Книга

Избранные вопросы алгебры и логики: сборник, посвященный памяти А.И. Мальцева
Наука, Сибирское отделение, 1973 г.
ISBN отсутствует
ОХОФ


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

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

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

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


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

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

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

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


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

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

.
Доступно
 1 из 1
Книга

Т.2. : .
1976 г.
ISBN отсутствует
ОХОФ


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

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

Элементы алгебры логики
Доступно
 1 из 1
Книга
Мануйлова, А.М.
Элементы алгебры логики: учебное пособие для студентов ХПИ им. В.И. Ленина
ХПИ, 1969 г.
ISBN отсутствует
ОХОФ


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

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

О логике конструктивной математики
Доступно
 1 из 1
Книга
Марков, А.А.
О логике конструктивной математики
Серия: Новое в жизни, науке, технике
Знание, 1972 г.
ISBN отсутствует
ОХОФ


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

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

Машины Тьюринга и рекурсивные функции
Доступно
 1 из 1
Книга

Машины Тьюринга и рекурсивные функции
Серия: Современная математика
Мир, 1972 г.
ISBN отсутствует
ОХОФ


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

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

Математическая логика и общая теория алгебраических систем
Доступно
 1 из 1
Книга
Мальцев, А.И.
Т.2. : Математическая логика и общая теория алгебраических систем
1976 г.
ISBN отсутствует
ОХОФ


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

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

Теорема Геделя
Доступно
 1 из 1
Книга
Нагель, Эрнест
Теорема Геделя
Серия: Новое в жизни, науке, технике
Знание, 1970 г.
ISBN отсутствует
ОХОФ


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

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

Неклассическая логика
Доступно
 1 из 1
Книга

Неклассическая логика: [сборник статей]
Наука, 1970 г.
ISBN отсутствует
ОХОФ


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

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

Конструктивная математическая логика с точки зрения классической
Доступно
 1 из 1
Книга
Новиков, П.С.
Конструктивная математическая логика с точки зрения классической
Серия: Математическая логика и основания математики
Наука, 1977 г.
ISBN отсутствует
ОХОФ


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

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

Элементы математической логики и теории множеств
Доступно
 1 из 1
Книга
Пензов, Ю.Е.
Элементы математической логики и теории множеств
Издательство Саратовского университета, 1968 г.
ISBN отсутствует
ОХОФ


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

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

Теория рекурсивных функций и эффективная вычислимость
Доступно
 1 из 1
Книга
Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость
Мир, 1972 г.
ISBN отсутствует
ОХОФ


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

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

Теория насыщенных моделей
Доступно
 1 из 1
Книга
Сакс, Дж. Е.
Теория насыщенных моделей
Мир, 1976 г.
ISBN отсутствует
ОХОФ


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

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

Современная модальная логика
Доступно
 1 из 1
Книга
Слинин, Я.А.
Современная модальная логика: развитие теории алетических модальностей (1920-1960 гг.)
Издательство Ленинградского университета, 1976 г.
ISBN отсутствует
ОХОФ


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

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

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