Г 47 Гильберт, Давид Основания математики. Логические исчисления и формализация арифметики [Текст] / Д. Гильберт, П. Бернайс ; перевод с немецкого Н. М. Нагорного; под редакцией С. И. Адяна. - 2-е издание. - Москва : Наука, 1982. - 556 с. : ил. ; 22 см. - (Математическая логика и основания математики). - 10000 экз.. - (в пер.) : 2.70 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): аксиомы -- аксиомы Пеано -- арифметика -- бесконечное Доп.точки доступа: Бернайс, П.; Нагорный, Н. М. \пер.\; Адян, С. И. \ред.\ ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |