Matematičeskaja logika i teorija algoritmov. (Trudy instituta matematiki ;, 1982)