Электронный каталог - Electronic Catalogue
eng
|
rus
Библиотека
НИУ ВШЭ
Санкт-Петербург
HSE St.Petersburg Library
Поиск :
Новые поступления
Простой поиск
Расширенный поиск
Авторы
Издательства
Серии
Тезаурус (Рубрики)
Помощь
Личный кабинет :
Номер единой электронной карты (пропуска)
PIN-код
Электронный каталог: Книги в рубрике:
Рубрики
--> Математическая логика
Рубрика
Название:
Математическая логика
Печать списка
Связанные описания:
Отобрать для печати:
страницу
|
инверсия
|
сброс
|
печать
(
0
)
<< назад
|
1
|
2
|
3
Экз. чит. зала
Книга
Ч. 1: Теория моделей
1982 г.
ISBN отсутствует
На полку
Экз. чит. зала
Книга
Ч. 2: Теория множеств
1982 г.
ISBN отсутствует
На полку
Экз. чит. зала
Книга
Ч. 3: Теория рекурсии
1982 г.
ISBN отсутствует
На полку
Экз. чит. зала
Книга
Ч. 4: Теория доказательств и конструктивная математика
1983 г.
ISBN отсутствует
На полку
Экз. чит. зала
Книга
Четвертая всесоюзная конференция по математической логике: Тезисы докладов и сообщений
Штиинца, 1976 г.
ISBN отсутствует
На полку
Экз. чит. зала
Книга
Серебрянников, О. Ф.
Эвристические принципы и логические исчисления
Наука, 1970 г.
ISBN отсутствует
На полку
Экз. чит. зала
Книга
Новиков, П. С.
Элементы математической логики
Серия:
Математическая логика и основания математики
Физматгиз, 1959 г.
ISBN отсутствует
На полку
Экз. чит. зала
Книга
Косовский, Н. К.
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учебное пособие
ЛГУ, 1981 г.
ISBN отсутствует
На полку
Экз. чит. зала
Книга
Гладкий, А. В.
Язык математической логики: учебное пособие
Калининский государственный университет, 1977 г.
ISBN отсутствует
На полку