Title: The theory of transfinite effectivity
Subjects: Recursive functions