Matematičeskaja logika i teorija algoritmov. - Bobolev, Sergej L´vovič (Nauka, 1982)