TY - JOUR AU - A. N. Frolov TI - Computable presentability of countable linear orders JO - Itogi nauki i tehniki. Sovremennaâ matematika i eë priloženiâ. Tematičeskie obzory PY - 2018 SP - 81 EP - 115 VL - 158 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/INTO_2018_158_a3/ LA - ru ID - INTO_2018_158_a3 ER -