Title: Algorithms and recursive functions, [by] A.I. Mal'cev
Subjects: Algorithms, Recursive functions