Grundzüge der theoretischen Logik. - Hilbert, David; Ackermann, Wilhelm (Berlin : Verlag Von Julius Springer, 1928)