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

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

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

ФИЛИАЛЫ

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

Поиск :

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

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

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

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

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


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

К списку серий

Математическая логика и основания математики

Издательства: Наука, Москва

Связанные описания:

Отобрать для печати: страницу | инверсия | сброс | печать(0)
Элементы математической логики
Доступно
 2 из 2
Книга
Новиков, П.С.
Элементы математической логики
Серия: Математическая логика и основания математики
Наука, 1973 г.
ISBN отсутствует


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

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

Математика метаматематики
Доступно
 3 из 3
Книга
Расева, Е.
Математика метаматематики
Серия: Математическая логика и основания математики
Наука, 1972 г.
ISBN отсутствует


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

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

Введение в теорию моделей и метаматематику алгебры
Доступно
 3 из 3
Книга
Робинсон, Авраам
Введение в теорию моделей и метаматематику алгебры
Серия: Математическая логика и основания математики
Наука, 1967 г.
ISBN отсутствует


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

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

Функции алгебры логики и классы Поста
Доступно
 2 из 2
Книга
Яблонский, С.В.
Функции алгебры логики и классы Поста
Серия: Математическая логика и основания математики
Наука, 1966 г.
ISBN отсутствует


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

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

Конечные автоматы
Доступно
 4 из 4
Книга
Трахтенброт, Б.А.
Конечные автоматы: (поведение и синтез)
Серия: Математическая логика и основания математики
Наука, 1970 г.
ISBN отсутствует


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

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

Рекурсивный математический анализ
Доступно
 2 из 2
Книга
Гудстейн, Рейбен Луис
Рекурсивный математический анализ
Серия: Математическая логика и основания математики
Наука, 1970 г.
ISBN отсутствует


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

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

Теория алгорифмов
Доступно
 4 из 4
Книга
Марков, А.А.
Теория алгорифмов
Серия: Математическая логика и основания математики
Наука, 1984 г.
ISBN отсутствует


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

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

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

Математическая теория логического вывода: сборник переводов
Серия: Математическая логика и основания математики
Наука, 1967 г.
ISBN отсутствует


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

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

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


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

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

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


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

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

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


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

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

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


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

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

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


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

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

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


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

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

Проблемы разрешимости и конструктивные модели
Доступно
 1 из 1
Книга
Ершов, Ю.Л.
Проблемы разрешимости и конструктивные модели
Серия: Математическая логика и основания математики
Наука, 1980 г.
ISBN отсутствует


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

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

Теория нумераций
Доступно
 1 из 1
Книга
Ершов, Ю.Л.
Теория нумераций
Серия: Математическая логика и основания математики
Наука, 1977 г.
ISBN отсутствует


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

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

Основания интуиционистской математики с точки зрения теории рекурсивных функций
Доступно
 1 из 1
Книга
Клини, Стефен Коул
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Серия: Математическая логика и основания математики
Наука, 1978 г.
ISBN отсутствует


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

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

Лекции по конструктивному математическому анализу
Доступно
 1 из 1
Книга
Кушнер, Б.А.
Лекции по конструктивному математическому анализу
Серия: Математическая логика и основания математики
Наука, 1973 г.
ISBN отсутствует


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

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

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


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

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

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


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

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

Степени неразрешимости
Доступно
 1 из 1
Книга
Шенфилд, Джозеф Р.
Степени неразрешимости
Серия: Математическая логика и основания математики
Наука, 1977 г.
ISBN отсутствует


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

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

Математическая логика
Доступно
 1 из 1
Книга
Шенфилд, Джозеф Р.
Математическая логика
Серия: Математическая логика и основания математики
Наука, 1975 г.
ISBN отсутствует


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

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

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