QR-код документа
517
Г47
Гильберт, Т.
Основания математики [Текст] : логические исчисления и формализация арифметики / Пер.с нем.Н.М.Нагорного. - М. : Наука, 1979. - 557 с. - 2 руб. 70 коп. тг.
| УДК | 517 |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫСШАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
формализация арифметики -- логическое исследование -- математика -- анализ -- основания математики
Экземпляры всего: 1
2.1-№2 Ч/З (1)
Свободны: 2.1-№2 Ч/З (1)