TY - JOUR AU - G. S. Tseitin TI - Mean-value theorems in constructive analysis JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova PY - 1962 SP - 362 EP - 384 VL - 67 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TM_1962_67_a4/ LA - ru ID - TM_1962_67_a4 ER -