TY - JOUR AU - H. Bremer AU - C.H.H. Reynvaan TI - Zur konstruktiven Differenzierbarkeit von monotonen berechenbaren Funktionen. JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1975 SP - 135 EP - 144 VL - 17 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AMLG_1975__17_137916/ ID - AMLG_1975__17_137916 ER -