Matematicheska︠i︡a logika i teori︠i︡a algoritmov - Sobolev, S. L. (Sergeĭ Lʹvovich), 1908- (Trudy Instituta matematiki, 1982)