TY - BOOK AU - Rose H E TI - Subrecursion : functions and hierarchies SN - 0-19-853189-3 U1 - 511.35 PY - 1984/// CY - Oxford PB - Clarendon Press KW - Computable functions KW - Recursion theory ER -