510 Г47 Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики - 0 .- Москва.: Наука, 1979 .- 557, - 0 Source: Худалдаж авсан Тавиурын заалт: 510 / Г47