Электронный каталог. . Муниципальная Информационно-Библиотечная Система г. Новокузнецка

Главная

Сайт МБУ "МИБС"

Инструкция по поиску в WEB-ИРБИС

Видеоуроки по поиску в WEB-ИРБИС

Базы данных

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

Вид поиска

Электронный каталог

Периодика МИБС

Периодика Новокузнецка

Статьи

Краеведческие статьи

Списанные книги

Область поиска

Поисковый запрос: (<.>K=АККЕРМАНА ДОКАЗАТЕЛЬСТВО<.>)

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

   22.12
   Г 47

    Гильберт, Давид.
    Основания математики = Grundlagen der mathematik : теория доказательств / Д. Гильберт, П. Бернайс ; перевод с немецкого Н. М. Нагорного ; под редакцией С. И. Адяна. - Москва : Наука, 1982. - 652 с. - (Математическая логика и основания математики). - 3.40 р.

ББК 22.12
Рубрики: Математика
Кл.слова (ненормированные):
ФОРМУЛЫ -- ТЕОРЕМЫ -- АРИФМЕТИКА -- ПЕРЕМЕННЫЕ -- НЕПРОТИВОРЕЧИВОСТЬ -- ФОРМАЛИЗМЫ -- ЧИСЛА -- ЭРБРАНА ТЕОРЕМА -- ТЕОРЕМА ЭРБРАНА -- ЛЕВЕНГЕЙМА ТЕОРЕМА -- ТЕОРЕМА ЛЕВЕНГЕЙМА -- ГЕДЕЛЯ ТЕОРЕМА -- ТЕОРЕМА ГЕДЕЛЯ -- ПРЕДИКАТЫ -- ТАРСКОГО ТЕОРЕМА -- ТЕОРЕМА ТАРСКОГО -- ЧЕРЧА ТЕОРЕМА -- ТЕОРЕМА ЧЕРЧА -- КАЛЬМАРА ДОКАЗАТЕЛЬСТВО -- ДОКАЗАТЕЛЬСТВО КАЛЬМАРА -- АККЕРМАНА ДОКАЗАТЕЛЬСТВО -- ДОКАЗАТЕЛЬСТВО АККЕРМАНА

Держатели документа:
МБУ "МИБС"

Доп.точки доступа:
Бернайс, Пауль; Адян, С. И. \ред.\; Нагорный, Н. М. \пер.\
Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)