Авторизация
Фамилия
Пароль
 

Базы данных

Вид поиска
Книги
Статьи
Электронные издания ВСГУТУ
Статьи преподавателей ВСГУТУ
Вестник ВСГУТУ
Материалы конференций ВСГУТУ
Диссертации
Авторефераты
ГОСТЫ
Статьи о Бурятии

Выберите поиск:
Что искать:
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Математическая логика -- Справочники<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
   517.2
   С741

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


Доп.точки доступа:
Барвайс, Дж. \ред.\
Экземпляры всего: 2
кх (2)
Свободны: кх (2)
Найти похожие
2.
   517.2
   С741

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


Доп.точки доступа:
Барвайс, Дж. \ред.\
Экземпляры всего: 2
кх (2)
Свободны: кх (2)
Найти похожие
3.
   517.2
   С741

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


Доп.точки доступа:
Барвайс, Дж. \ред.\
Экземпляры всего: 2
кх (2)
Свободны: кх (2)
Найти похожие
4.
   517.2
   С741

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


Доп.точки доступа:
Барвайс, Дж. \ред.\
Экземпляры всего: 3
кх (3)
Свободны: кх (3)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
ссылка на мобильную версию электронного каталога