Основания математики. Логические исчисления и формализация арифметикиКНИГИ » ЕСТЕСТВЕННЫЕ НАУКИ
Название: Основания математики. Логические исчисления и формализация арифметики Автор: Гильберт Д., Бернайс П. Издательство: М.: Наука Год: 1979 Формат: pdf Страниц: 557 Размер: 31 mb Язык: Русский
Двухтомная монография Д. Гильберта и п. Бернайса занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики.