Zur Stufenreduktion von Kalkülen. Herbert Fiedler — 1965 Archiv für mathematische Logik und Grundlagenforschung