Основания математики [Текст] : логические исчисления и формализация арифметикиГильберт, Давид1982556 с.