Grundzüge der theoretischen Logik Von D. Hilbert u. Wilhelm Ackermann - Hilbert, David (Die Grundlehren d.mathematischen Wissenschaften in Einzeldarstellungen, 1938)