TY - JOUR AU - A. N. Frolov TI - Effective categoricity of computable linear orderings JO - Algebra i logika PY - 2015 SP - 638 EP - 642 VL - 54 IS - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_2015_54_5_a5/ LA - ru ID - AL_2015_54_5_a5 ER -