Grundzüge der theoretischen logik - Hilbert, David 1862-1943 (Mathematischen Wissenschaften ;, 1959)