Библиотека Российской академии наук (БАН)

Базы данных


ЭК отдела БАН при Физико-техническом институте им. А.Ф.Иоффе РАН (ФТИ) - результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ<.>)
Общее количество найденных документов : 1
1.    Мт|1768
   Г 47


    Гильберт, Д.
    Основания математики. Логические исчисления и формализация арифметики [Текст] : пер. с нем / Д. Гильберт, П. Бернайс ; ред. С. И. Адян. - М. : Наука, 1979. - 560 с. : ил. - (Математическая логика и основания математики). - 2.70 р.
ББК Мт I-1

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

Доп.точки доступа: Бернайс, П.; Адян, С.И. \ред.\
Найти похожие