Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


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

Вид поиска
Электронный каталог
Периодика МИБС
Периодика Новокузнецка
Статьи
Краеведческие статьи
Списанные книги
Область поиска
Поисковый запрос: (<.>K=АРИФМЕТИКА ПЕАНО<.>)
Общее количество найденных документов : 1
1.
   22.12
   Т 15

    Такеути, Г.
    Теория доказательств = Proof theory / Г. Такеути ; перевод с английского С. К. Соболева под редакцией С. И. Адяна. - Москва : Мир, 1978. - 412 с. - 2.10 р.
ББК 22.12
Рубрики: Математика
Кл.слова (ненормированные):
ПРЕДИКАТЫ -- АКСИОМЫ -- ТЕОРЕМЫ -- ДОКАЗАТЕЛЬСТВА -- ПЕАНО АРИФМЕТИКА -- АРИФМЕТИКА ПЕАНО -- ИНФИНИТАРНАЯ ЛОГИКА -- НЕПРОТИВОРЕЧИВОСТЬ

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

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