Научная библиотека ВСГУТУ

Базы данных

Вид поиска

Книги

Статьи

Электронные издания ВСГУТУ

Статьи преподавателей ВСГУТУ

Вестник ВСГУТУ

Материалы конференций ВСГУТУ

Выберите поиск:
Что искать:

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>S=Математическая логика -- Справочники<.>)

Общее количество найденных документов : 4
Показаны документы с 1 по 4

Вид документа : Многотомное издание
Шифр издания : 517.2/С741
Автор(ы) :
Заглавие : Справочная книга по математической логике: в 4 частях : перевод с английского/ под ред. Дж. Барвайса. Ч. 4: Теория доказательств и конструктивная математика
Выходные данные : Москва: Наука, 1983
Колич.характеристики :391 с. ; 22 см
Серия:
Перевод издания: Handbook of mathematical logic. -Amsterdam, 1977
Примечания : Библиогр. в конце глав. - Предм. указ.: с. 383-388
Цена : 2.10 р.
ГРНТИ : 27.03.19
УДК : 510.6(035)
Предметные рубрики: Математическая логика-- Справочники
Экземпляры : всего : кх(3)
Свободны : кх(3)
Найти похожие

Вид документа : Многотомное издание
Шифр издания : 517.2/С741
Автор(ы) :
Заглавие : Справочная книга по математической логике: в 4 частях : перевод с английского/ под ред. Дж. Барвайса. Ч. 3: Теория рекурсии
Выходные данные : Москва: Наука, 1982
Колич.характеристики :360 с
Серия:
Перевод издания: Handbook of mathematical logic. -Amsterdam, 1977
Цена : Б.ц.
ГРНТИ : 27.03.19
УДК : 510.6(035)
Предметные рубрики: Математическая логика-- Справочники
Экземпляры : всего : кх(2)
Свободны : кх(2)
Найти похожие

Вид документа : Многотомное издание
Шифр издания : 517.2/С741
Автор(ы) :
Заглавие : Справочная книга по математической логике: в 4 частях : перевод с английского/ под ред. Дж. Барвайса. Ч. 1: Теория моделей
Выходные данные : Москва: Наука, 1982
Колич.характеристики :392 с
Серия:
Перевод издания: Handbook of mathematical logic. -Amsterdam, 1977
Цена : Б.ц.
ГРНТИ : 27.03.19
УДК : 510.6(035)
Предметные рубрики: Математическая логика-- Справочники
Экземпляры : всего : кх(2)
Свободны : кх(2)
Найти похожие

Вид документа : Многотомное издание
Шифр издания : 517.2/С741
Автор(ы) :
Заглавие : Справочная книга по математической логике: в 4 частях : перевод с английского/ под ред. Дж. Барвайса. Ч. 2: Теория множеств
Выходные данные : Москва: Наука, 1982
Колич.характеристики :376 с
Серия:
Перевод издания: Handbook of mathematical logic. -Amsterdam, 1977
Цена : Б.ц.
ГРНТИ : 27.03.19
УДК : 510.6(035)
Предметные рубрики: Математическая логика-- Справочники
Экземпляры : всего : кх(2)
Свободны : кх(2)
Найти похожие

Тематический навигатор

ссылка на мобильную версию электронного каталога

Базы данных

Книги- результаты поиска

Вид поиска