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