Основания математики, Логич. исчисления и формализация арифметики
русский/Основания математики : Логич. исчисления и формализация арифметики / Пер. с нем. Н.М. Нагорного ; Под ред. [и с предисл.] С.И. Адяна.Основания математики : Логич. исчисления и формализация арифметики / Пер. с нем. Н.М. Нагорного.Основания математики : Логич. исчисления и формализация арифметики. - 2-е изд.М./Наука/, 1982 ( ). - Наука, 1982. - 556 с. ; 22 см. - (Математическая логика и основания математики).Основания математики : Логич. исчисления и формализация арифметики. 2-е изд.М., 1982 .
Перевод изд.: Grundlagen der Mathematik. I / D. Hilbert, P. Bernays (Berlin etc., 1968). - Алф. указ.: с. 551-556. Алф. указ.: с. 551-556.
Перевод изд.: Grundlagen der Mathematik. I / D. Hilbert, P. Bernays (Berlin etc., 1968). - Алф. указ.: с. 551-556. Алф. указ.: с. 551-556.