Issledovanija po teorii algoritmov i matematičeskoj logike. - Markov, A. A.; Chomič, V. I. (Moskva : Nauka, 1979)
Záznam revízie