Grundlagen der Mathematik, volume 1 (1934)

by David Hilbert, Paul Bernays