Основания математики. Логические исчисления и формализация арифметики
Автор:Гильберт Д., Бернайс П. Год: 1979 Издание:Главная редакция физико-математической литературы издательства "Наука" Страниц: 560 ISBN: [не указан] Монография Д.Гильберта и П.Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Д.Гильберта И.Бернайса пользуется большой популярностью среди специалистов.