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