TY - BOOK AU - Rose H E TI - Subrecursion : Functions and hierarchies. U1 - R14, M4 PY - 1984/// CY - Oxford PB - Clarendon Press ER -