TY - JOUR AU - M. V. Dorzhieva TI - Elimination of metarecursive in Owing's theorem JO - Sibirskij žurnal čistoj i prikladnoj matematiki PY - 2014 SP - 35 EP - 43 VL - 14 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/VNGU_2014_14_1_a3/ LA - ru ID - VNGU_2014_14_1_a3 ER -