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