Grundzuge der theoretischen logik - Hilbert D; Ackermann W (New York Dover pub., 1946)
Keywords: Mathematical logic; Symbolic logic