Teorija rekursivnych funkcij i effektivnaja vyčislimost' - Rogers, Hartley, 1926- (Mir, 1972)