Title: Contributions to axiomatic recursion theory and related aspects of alpha-recursion theory
Subjects: Recursive functions