QR code of document
517.1
Г47
Гильберт, Д.
Основания математики: Логические исчисления и формализация арифметики : пер. с нем. / Д. Гильберт, П. Бернайс ; ред. С. И. Адяна. - 2-е изд. - М. : Наука, 1982. - 556 с. - (Мат. логика и основания математики). - Б. ц.
| ГРНТИ | 27 |
| УДК | 517.1 |
Кл.слова (ненормированные):
математический -- логика -- исчисления -- логический
Доп.точки доступа:
Бернайс, П.
Адян, С.И. \ред.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)