Grundlagen der Mathematik / 2 - Hilbert, David, 1862-1943; Bernays, Paul, 1888-1977 (Springer-Verlag, 1968)