On the predicate of differentiability and the differentiation operator in constructive mathematical analysis
Doklady Akademii Nauk, Tome 147 (1962) no. 5, pp. 1032-1034
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1962_147_5_a11,
author = {G. E. Mints},
title = {On the predicate of differentiability and the differentiation operator in constructive mathematical analysis},
journal = {Doklady Akademii Nauk},
pages = {1032--1034},
publisher = {mathdoc},
volume = {147},
number = {5},
year = {1962},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1962_147_5_a11/}
}
TY - JOUR AU - G. E. Mints TI - On the predicate of differentiability and the differentiation operator in constructive mathematical analysis JO - Doklady Akademii Nauk PY - 1962 SP - 1032 EP - 1034 VL - 147 IS - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DAN_1962_147_5_a11/ LA - ru ID - DAN_1962_147_5_a11 ER -
G. E. Mints. On the predicate of differentiability and the differentiation operator in constructive mathematical analysis. Doklady Akademii Nauk, Tome 147 (1962) no. 5, pp. 1032-1034. http://geodesic.mathdoc.fr/item/DAN_1962_147_5_a11/