Электронный каталог: Гильберт Давид - Основания математики. Логические исчисления и формализация арифметики