Interpolation formulae for predicates and terms which carry their own history. Jürgen Schulte-Mönting — 1975 Archiv für mathematische Logik und Grundlagenforschung