Zur konstruktiven Differenzierbarkeit von monotonen berechenbaren Funktionen. H. Bremer; C.H.H. Reynvaan — 1975 Archiv für mathematische Logik und Grundlagenforschung