Grundlagen der mathematik II - Hilbert D; Bernays P (Berlin Springer-Verlag, 1970)
Keywords: Mathematical logic; Mathematics