|
517.2 | Г47 |
Гильберт, Д. Основания математики [Текст] : Логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс ; Под ред.Адяна С.И. ; пер. Нагорного Н.М. – Изд.2-е. – М. : Наука, 1982. – 560с. – (Математическая логика и основания математики). – 2.70.
|
| |
|