Grundzuge der theoretischen Logik - Hilbert, David, 1862-1943 (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen., 1946)