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