Г 47 |
Гильберт, Д. Основания математики [Текст] : Логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс ; Пер. с нем. Н.М.Нагорного. – М. : Наука, 1979. – 557 с. – 18000.
Книга оказывает большое влияние на развитие математической логики. |