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