Voir la notice de l'article provenant de la source Math-Net.Ru
@article{TRSPY_1962_67_a4, author = {G. S. Tseitin}, title = {Mean-value theorems in constructive analysis}, journal = {Informatics and Automation}, pages = {362--384}, publisher = {mathdoc}, volume = {67}, year = {1962}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/TRSPY_1962_67_a4/} }
G. S. Tseitin. Mean-value theorems in constructive analysis. Informatics and Automation, Problems of the constructive direction in mathematics. Part 2. Constructive mathematical analysis, Tome 67 (1962), pp. 362-384. http://geodesic.mathdoc.fr/item/TRSPY_1962_67_a4/