Voir la notice de l'article provenant de la source Math-Net.Ru
@article{TRSPY_1967_93_a2, author = {S. Yu. Maslov}, title = {The representation of recursively enumerable sets by local calculi}, journal = {Informatics and Automation}, pages = {43--49}, publisher = {mathdoc}, volume = {93}, year = {1967}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/TRSPY_1967_93_a2/} }
S. Yu. Maslov. The representation of recursively enumerable sets by local calculi. Informatics and Automation, Problems of the constructive direction in mathematics. Part 4, Tome 93 (1967), pp. 43-49. http://geodesic.mathdoc.fr/item/TRSPY_1967_93_a2/