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

   22.12
   Г 47

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

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

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

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

   22.1
   К 76

    Коэн, Пол Дж..
    Теория множеств и континуум-гипотеза / П. Дж. Коэн ; пер. А. С. Есенин-Вольпин. - Москва : Мир, 1969. - 347 с. - (Библиотека сборника "Математика"). - 1.26 р.

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

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

   22.12
   Н 16

    Нагель, Эрнест.
    Теорема Геделя / Эрнест Нагель и Джеймс Р. Ньюмен ; сокращенный перевод с английского Ю. А. Гастева. - Москва : Знание, 1970. - 61, [2] с. - (Новое в жизни, науке, технике. Математика, кибернетика ; № 8). - 0.12 р.

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

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

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

   22.12
   Т 15

    Такеути, Г.
    Теория доказательств = Proof theory / Г. Такеути ; перевод с английского С. К. Соболева под редакцией С. И. Адяна. - Москва : Мир, 1978. - 412 с. - 2.10 р.

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

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

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

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