Основания математики
- Автор(ы)
- Гильберт Д, Бернайс П
- Издательство
- Наука
- Серия
- Основания математики
- Теги
- Математика
Аннотация
Пер. с нем. Книга 1 — Логические исчисления и формализация арифметики (1979); книга 2 — Теория доказательств (1982).
Как сослаться (ГОСТ Р 7.0.5-2008)
- В списке литературы
- Гильберт Д., Бернайс П. Основания математики. — [Б. м.] : Наука, [б. г.].
- В тексте
- (Гильберт Д., Бернайс П. Основания математики. [Б. м.] : Наука, [б. г.].)