%0 Journal Article %A G. S. Tseitin %T Mean-value theorems in constructive analysis %J Informatics and Automation %D 1962 %P 362-384 %V 67 %I mathdoc %U http://geodesic.mathdoc.fr/item/TRSPY_1962_67_a4/ %G ru %F TRSPY_1962_67_a4