Matematičeskaja logika i teorija algoritmov (Trudy Instituta matematiki AN SSSR, 1982)