Teorija algoritmov - Markov, Andrej Andrejevič, 1903-1979 (Matematičeskaja logika i osnovanija matematiki, 1984)