Grundzüge der theoretischen Logik - Hilbert, David (Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, 1928)