Двухтомная монография Д.Гильберта и П.Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в 30-х годах, подвело итог процессу становления математической логики как самостоятельной дисциплины со своей проблематикой и своими методами. Отличающаяся исключительной глубиной содержания и тщательностью изложения, книга Гильберта и Бернайса до сих пор пользуется большой популярностью среди специалистов и оказывает влияние на развитие математической логики.
В 1968 году издательство Шпрингера выпустило второе немецкое издание этой книги.
Для широкого круга читателей книга привлекательна тем. что в ней основополагающие идеи теории доказательств излагаются более обстоятельно и менее формализованно, чем где-либо в другом месте.
Давид Гильберт
Основания математики. Логич...
