Название: Основания математики. Логические исчисления и формализация арифметики
Автор: Гильберт Д., Бернайс П.
Издательство: М.: Наука
Год: 1979
Формат: pdf
Страниц: 557
Размер: 31 mb
Язык: Русский

Двухтомная монография Д. Гильберта и п. Бернайса занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики.