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