Grundlagen der Geometrie - Hilbert, David, 1862-1943; Bernays, Paul, 1888-1977 (Stuttgart : Teubner, 1962)