Grandzuge der theoretischen Logik - Hilbert D; Ackermann W. (Berlin Springer-Verlag, 1972)