Национальная библиотека Республики Дагестан им. Р. Гамзатова

Главная

Упрощенный режим

Описание

Базы данных

Каталог Национальной Библиотеки Республики Дагестан- результаты поиска

Вид поиска

Каталог Национальной Библиотеки Республики Дагестан

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

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: <.>K=арифметика Пеано<.>

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

510
С 74

Справочная книга по математической логике [Текст] : в 4-х частях / под редакцией Дж. Барвайса. - Москва : Наука, 1982 - 1983. - 22 см.
Ч. IV : Теория доказательств и конструктивная математика / перевод с английского Г. В. Давыдова, Г. Е. Минца; под редакцией В. П. Оревкова. - 1983. - 391 с. : ил. - Пер. изд. : HANDBOOK OF MATEMATICAL LOGIC. - 2.10 р.

РУБ 510
Рубрики: Математика--Математическая логика--Справочники
Кл.слова (ненормированные):
теорема о неполноте -- теория доказательств -- теория Эрбрана -- теории конечного типа -- логика топосов -- арифметика Пеано -- справочники

Доп.точки доступа:
Барвайс, Дж. \ред.\; Давыдов, Г. В. \пер.\; Минц, Г. Е. \пер.\; Оревков, В. П. \ред.\
~Экземпляры всего: 1
КХР (1)
Свободны: КХР (1)
Найти похожие

Тематический навигатор

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