Grundzüge der theoretischen Logik von D. Hilbert u. W. Ackermann - Hilbert, David (Die Grundlehren der mathemat. Wissenschaften, 1949)