Электронный каталог СКУНБ им. Лермонтова

👓
rus
Государственное бюджетное учреждение культуры Ставропольского края
«Ставропольская краевая универсальная научная библиотека им. М. Ю. Лермонтова»
Режим работы: 9.00–20.00
Контактная информация: (865-2) 29-61-57, 8(8652)24-32-47
Предварительный заказ литературы

Поиск :

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

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

  • Помощь

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


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

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

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

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

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

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

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


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

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


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


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

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


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


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

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


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


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

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


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


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

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


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


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

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


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


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

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


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


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

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


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


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

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

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