Teori︠i︡a algorifmov - Markov, A. A. (Andreĭ Andreevich), 1903- (Matematicheska︠i︡a logika i osnovani︠i︡a matematiki., 1984)