В1
Г474	Гильберт, Давид     Основания математики: логические исчисления и формализация арифметики [Текст] = Grudlagen der Mathematik. I / перевод с нем.: Нагорного Н. М.; под ред.: Адяна С. И. — 2-е изд.. — Москва : Наука, 1982. — 556 с. : ил.