Электронный каталог

Книга
51 Г474

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

ББК 22.121

основной = математика
основной = математика : основания математики
основной = логические исчисления
основной = математика : теория чисел : арифметика

00000000414603 МАТУ 51 Г474