Teorija algoritmov. - Markov, Andrej Andrejevič; Nagornyj, Nikolaj Makarovič (Matematičeskaja logika i osnovanija matematiki, 1984)