Grundzüge der theoretischen Logik Von D. Hilbert und W. Ackermann - Hilbert, David (Die Grundlehren der mathematischen Wissenschaften, 1959)