Основания математики. Логические исчисления и формализация арифметики
Давид Гильберт, Пауль Исаак Бернайс
- Издательство:Главная редакция физико-математической литературы издательства "Наука"
- Год издания:1982
- Язык:Русский
Это бета-версия LiveLib. Сейчас доступна часть функций, остальные из основной версии будут добавляться постепенно.
Давид Гильберт, Пауль Исаак Бернайс
Основания математики. Логические исчисления и формализация арифметики
Давид Гильберт, Пауль Исаак Бернайс
Основания математики. Логические исчисления и формализация арифметики
Давид Гильберт, Пауль Исаак Бернайс