Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1970_194_5_a8, author = {V. S. Proskurov}, title = {A theorem on the coding of expressions in arbitrary languages}, journal = {Doklady Akademii Nauk}, pages = {1021--1024}, publisher = {mathdoc}, volume = {194}, number = {5}, year = {1970}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1970_194_5_a8/} }
V. S. Proskurov. A theorem on the coding of expressions in arbitrary languages. Doklady Akademii Nauk, Tome 194 (1970) no. 5, pp. 1021-1024. http://geodesic.mathdoc.fr/item/DAN_1970_194_5_a8/