%0 Journal Article %A I. L. Timofeeva %T On proofs of properties of semirecursive sets %J Itogi nauki i tehniki. Sovremennaâ matematika i eë priloženiâ. Tematičeskie obzory %D 2020 %P 73-77 %V 179 %I mathdoc %U http://geodesic.mathdoc.fr/item/INTO_2020_179_a10/ %G ru %F INTO_2020_179_a10