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