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