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