Matematičeskaja logika i teorija algoritmov. - Bobolev, Sergej L´vovič (Novosibirsk : Nauka, 1982)
Záznam revízie