Grundzüge der theoretischen Logik - Hilbert, David (Julius Springer, 1928)