Important Links
Machine generated authority record.
Work cat.: (OSt)31287: Mal'cev, A. I, Algorithms and recursive functions, 1970.