Grundzuge der theoretischen Logik - Hilbert, David (Die Grundlehren der mathematischen Wissenschaften, 1946)