Issledovanija po konstruktivnoj matematike i matematičeskoj logike 8. Sbornik rabot. - Matijasevič, Ju. V. (Leningrad : Nauka, 1979)
Záznam revízie