Machine generated authority record.
Work cat.: (OSt): Rogers H, Theory of Recursive Functions and Effective Computability