Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=ТЕОРЕМА ЧЁРЧА<.>)
Общее количество найденных документов : 1
1.
   517
   Г 474

    Гильберт, Давид.
    Основания математики. Теория доказательств / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорный ; ред. С. И. Адян. - Москва : Наука, 1982. - 652 с. - (Математическая логика и основания математики). - 3.40 р., 3.40 р.
ГРНТИ
27
УДК
517.11
Рубрики: Математический анализ
Кл.слова (ненормированные):
ЛОГИЧЕСКИЙ ФОРМАЛИЗМ -- МАТЕМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО (ТЕОРИЯ) -- ТЕОРЕМЫ О ПОЛНОТЕ (НЕПОЛНОТЕ) -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ТЕОРЕМА ЧЁРЧА -- АРИФМЕТИЧЕСКИЙ ФОРМАЛИЗМ (ДОКАЗАТЕЛЬСТВО КАЛЬМАРА)


Доп.точки доступа:
Бернайс, Пауль; Нагорный, Н. М. \пер.\; Адян, С.И. \ред.\
Экземпляры всего: 3
АБН (2), Х (1)
Свободны: АБН (2), Х (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 03.07.2024
Число запросов 46431
Число посетителей 437
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)