GRUNDZUGE DER THEORETISCHEN LOGIK - Hilbert, D.; Ackermann, W. (Springer-Verlag, 1959)