Grundzüge der theoretischen Logik - Hilbert, David; Ackerman, W (Die Grundlehren der mathematischen Wissenschaften, 27, 1972)