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