Grundlagen der Mathematik I - Hilbert D; Auflage Zweite; Bernays P (Berlin Springer-Verlag, 1968)