Grundlagen der Mathematik 2 - Hilbert, D.; Bernays, P. (Springer-Verlag, 1970)