Гильберт Д., Бернайс П. Основания математики.
Книга 1: Логические исчисления и формализация арифметики. Кн.1. Изд. 2

Выдающийся немецкий математик-универсал, внесший значительный вклад в развитие многих математических разделов. Родился в г. Велау близ Кенигсберга (ныне Калининград, Россия), в семье окружного судьи. Окончил Кенигсбергский университет. В 1893–1895 гг. профессор Кенигсбергского, а в 1895–1930 гг. — Геттингенского университетов. В 1900 г. на 2-м Международном математическом конгрессе Д. Гильберт формулирует знаменитый список 23 нерешенных проблем математики, постановка которых во многом определила развитие математики в XX в. Исследования Д. Гильберта оказали большое влияние на развитие математической логики, теории инвариантов, теории алгебраических чисел, геометрии, вариационного исчисления, дифференциальных и интегральных уравнений, функционального анализа, математической физики и других областей математики. В число его учеников входили выдающиеся математики Э. Цермело, Г. Вейль, Дж. фон Нейман, Р. Курант, Г. Штейнгауз, чемпион мира по шахматам Э. Ласкер и многие другие.