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