TY  - JOUR
AU  - V. S. Proskurov
TI  - A theorem on the coding of expressions in arbitrary languages
JO  - Doklady Akademii Nauk
PY  - 1970
SP  - 1021
EP  - 1024
VL  - 194
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1970_194_5_a8/
LA  - ru
ID  - DAN_1970_194_5_a8
ER  -