Recursion-Theoretic Hierarchies | Ann Arbor) Peter G. (University of Michigan Hinman