Основания математики : Логические исчисления и формализация арифметики /
Гильберт, Давид
Основания математики : Логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс ; Пер. с нем. Н.М. Нагорного ; Под ред. С.И. Адяна. - 2-е изд. - Москва : Наука. Гл. ред. физ.-мат. лит., 1982. - 556 с. - Математическая логика и основания математики .
Комбинаторный анализ
Основания математики : Логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс ; Пер. с нем. Н.М. Нагорного ; Под ред. С.И. Адяна. - 2-е изд. - Москва : Наука. Гл. ред. физ.-мат. лит., 1982. - 556 с. - Математическая логика и основания математики .
Комбинаторный анализ