Зведений каталог бібліотек Львова
517.11Г4742Гильберт, Давид Основание математики. Логические исчисления и формализация арифметики [Текст] / пер. с нем. Н. М. Нагорного ; под ред. С. И. Адяна. — 2-е изд. — М. : Наука, 1982. — 556 с.
- Теми документа