Matematicheska︠i︡a logika i algoritmicheskie problemy - Ershov, ︠I︡Uriĭ Leonidovich (Trudy Instituta matematiki,, 1989)