TY - BOOK AU - Rose H E TI - Subrecursion : functions and hierarchies T2 - Oxford logic guides; 9 U1 - R14:(B), M4 PY - 1984/// CY - Oxford PB - Clarendon Press KW - PHILOSOPHY ER -