Title: Subrecursion
First published: 1984
Subjects: Hierarchies, Recursion theory, Recursive functions, Computable functions
LC classification: QA9.615 .R67 1984