GRUNDZUGE DER MATHEMATISCHEN LOGIK - Scholz, Heinrich; Hasenjager, Gisbert (Springer-Verlag, 1961)