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