@article{INTO_2020_179_a10,
     author = {I. L. Timofeeva},
     title = {On proofs of properties of semirecursive sets},
     journal = {Itogi nauki i tehniki. Sovremenna\^a matematika i e\"e prilo\v{z}eni\^a. Temati\v{c}eskie obzory},
     pages = {73--77},
     publisher = {mathdoc},
     volume = {179},
     year = {2020},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/INTO_2020_179_a10/}
}