Grundzüge der theoretischen Logik / - Hilbert, David (Springer, 1959)