Hilberts Logik von der Axiomatik zur Beweistheorie - Peckhaus, Volker 1955- (1995)
Keywords: Hilbert, David -- 1862-1943; Logik