Grundzüge der theoretischen Logik - Hilbert, David 1862-1943; Ackermann, Wilhelm (Springer, 1938)