Title: Handbook of recursive mathematics
Subjects: Recursion theory