Grundzuge der Theoretischen Logik - Hilbert, David, 1862-1943 (Grundlehren der mathematischen Wissenschaften ;, 1946)