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