Авторизация
Фамилия
Пароль
Электронный каталог
Научной библиотеки ВСГУТУ
Базы данных
Книги- результаты поиска
Вид поиска
Книги
Статьи
Электронные издания ВСГУТУ
Статьи преподавателей ВСГУТУ
Вестник ВСГУТУ
Материалы конференций ВСГУТУ
Диссертации
Авторефераты
ГОСТЫ
Статьи о Бурятии
Выберите поиск:
Ключевые слова
Автор
Заглавие
Год издания
Что искать:
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>S=Математическая логика -- Справочники<.>)
Общее количество найденных документов
:
4
Показаны документы
с 1 по 4
>
1.
517.2
С741
Справочная книга по
математической
логике
: в 4 частях : перевод с английского / под ред. Дж. Барвайса. - Москва : Наука, 1982 - . -
Пер. изд. :
Handbook of mathematical logic. - Amsterdam, 1977.
Ч. 3
: Теория рекурсии. - 1982. - 360 с. - ). - Б. ц.
ГРНТИ
27.03.19
УДК
510.6(035)
Рубрики:
Математическая
логика
--
Справочники
Кл.слова (ненормированные):
математическая
логика
--
теория рекурсии
--
справочники
Доп.точки доступа:
Барвайс, Дж. \ред.\
Экземпляры всего:
2
кх (2)
Свободны:
кх (2)
Найти похожие
>
2.
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)
Найти похожие
>
3.
517.2
С741
Справочная книга по
математической
логике
: в 4 частях : перевод с английского / под ред. Дж. Барвайса. - Москва : Наука, 1982 - . -
Пер. изд. :
Handbook of mathematical logic. - Amsterdam, 1977.
Ч. 1
: Теория моделей. - 1982. - 392 с. - ). - Б. ц.
ГРНТИ
27.03.19
УДК
510.6(035)
Рубрики:
Математическая
логика
--
Справочники
Кл.слова (ненормированные):
математическая
логика
--
теория моделей
--
справочники
Доп.точки доступа:
Барвайс, Дж. \ред.\
Экземпляры всего:
2
кх (2)
Свободны:
кх (2)
Найти похожие
>
4.
517.2
С741
Справочная книга по
математической
логике
: в 4 частях : перевод с английского / под ред. Дж. Барвайса. - Москва : Наука, 1982 - . -
Пер. изд. :
Handbook of mathematical logic. - Amsterdam, 1977.
Ч. 2
: Теория множеств. - 1982. - 376 с. - ). - Б. ц.
ГРНТИ
27.03.19
УДК
510.6(035)
Рубрики:
Математическая
логика
--
Справочники
Кл.слова (ненормированные):
математическая
логика
--
теория множеств
--
справочники
Доп.точки доступа:
Барвайс, Дж. \ред.\
Экземпляры всего:
2
кх (2)
Свободны:
кх (2)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
ссылка на мобильную версию электронного каталога