Matematičeskaja logika i algoritmičeskije problemy - Beljakin, N. V. (TRUDY Inst. matematiki, 1989)