QR code of document
517.1
Г 47
Гильберт, Д.
Основания математики [Текст] : теория доказательств / Пер. с нем. Н.М. Нагорного / Д. Гильберт, П. Бернайс ; ред. С. И. Адана. - М. : [б. и.], 1982. - 652 с. - (Мат. логика и основания математики). - 3 р.40к.
| УДК | 517.1 |
Рубрики: Высшая математика
Кл.слова (ненормированные):
гильберт д. -- теоремы -- доказательство
Держатели документа:
ЗКГУ
Доп.точки доступа:
Бернайс, П.
Адана, С.И. \ред.\
Экземпляры всего: 2
а. (1), ч/з. (1)
Свободны: а. (1), ч/з. (1)