Title: Techniques of admissible recursion theory
Subjects: Recursion theory