Grundlagen der Geometrie : mit supplementen von Paul Bernays. - Hilbert, David 1862-1943 (B. G. Teubner, 1968)