Grundzüge der theoretischen Logik - Hilbert, David (Die Grundlehren der Mathematischen Wissenschaften / Springer Verlag ;, 1928)