Электронный каталог СКУНБ им. Лермонтова
rus
Государственное бюджетное учреждение культуры Ставропольского края
«Ставропольская краевая универсальная научная библиотека им. М. Ю. Лермонтова»
Режим работы:
10.00–20.00
Контактная информация:
8(8652)24-32-47
Предварительный заказ литературы
Поиск :
Новые поступления
Простой поиск
Расширенный поиск
Поиск одной строкой
Авторы
Издательства
Серии
Тезаурус (Рубрики)
Помощь
Личный кабинет :
Штрих-код
Пароль
Электронный каталог: Справочник серий издательств
К списку серий
Математическая логика и основания математики
Издательства:
Наука, М.
Связанные описания:
Отобрать для печати:
страницу
|
инверсия
|
сброс
|
печать
(
0
)
Доступно
1 из 1
Книга
Марков, А. А.
ТЕОРИЯ АЛГОРИТМОВ
Серия:
Математическая логика и основания математики
Наука, 1984 г.
ISBN 5-1571890
Заказать
На полку
Доступно
2 из 2
Книга
Расёва, Е.
Математика математики: пер. с англ.
Серия:
Математическая логика и основания математики
Наука, 1972 г.
ISBN отсутствует
Заказать
На полку
Доступно
1 из 1
Книга
Шенфилд, Д. Р.
Математическая логика: пер. с англ.
Серия:
Математическая логика и основания математики
Наука, 1975 г.
ISBN отсутствует
Заказать
На полку
Доступно
4 из 4
Книга
Шенфилд, Д. Р.
Степени неразрешимости: пер. с англ.
Серия:
Математическая логика и основания математики
Наука, 1977 г.
ISBN отсутствует
Заказать
На полку
Доступно
1 из 1
Книга
Смальян, Раймонд М.
Теория формальных систем
Серия:
Математическая логика и основания математики
Наука, 1981 г.
ISBN отсутствует
Заказать
На полку
Доступно
1 из 1
Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем: пер. с англ.
Серия:
Математическая логика и основания математики
Наука, 1983 г.
ISBN отсутствует
Заказать
На полку