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

Главная

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

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

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

Базы данных

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

Вид поиска

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

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

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

Статьи

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

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

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

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

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

   22.12
   Г 47

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

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

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

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

   22.12
   У 77

    Успенский, Владимир Андреевич.
    Теорема Геделя о неполноте / В. А. Успенский. - Москва : Наука, 1982. - 110, [2] с. : ил. - (Популярные лекции по математике ; вып. 57). - 0.15 р.

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

Экземпляры всего: 2
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), Куйбышевская, ул. Челюскина 48, т. 73-31-62 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), Куйбышевская, ул. Челюскина 48, т. 73-31-62 (1)
Прямая ссылка
Найти похожие

   22.1
   М23

    Манин, Юрий Иванович.
    Доказуемое и недоказуемое : [монография] / Ю. И. Манин. - Москва : Советское радио, 1979. - 168 с. : ил. - (Кибернетика). - Библиогр.: с. 161-166. - 0.60 р.

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

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

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