Algorithmic operators in constructive metric spaces
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 2. Constructive mathematical analysis, Tome 67 (1962), pp. 295-361
Cet article a éte moissonné depuis la source Math-Net.Ru
@article{TM_1962_67_a3,
author = {G. S. Tseitin},
title = {Algorithmic operators in constructive metric spaces},
journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
pages = {295--361},
year = {1962},
volume = {67},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TM_1962_67_a3/}
}
G. S. Tseitin. Algorithmic operators in constructive metric spaces. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 2. Constructive mathematical analysis, Tome 67 (1962), pp. 295-361. http://geodesic.mathdoc.fr/item/TM_1962_67_a3/