TY - JOUR AU - S. A. Badaev AU - S. S. Goncharov TI - Generalized computable universal numberings JO - Algebra i logika PY - 2014 SP - 555 EP - 569 VL - 53 IS - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_2014_53_5_a0/ LA - ru ID - AL_2014_53_5_a0 ER -