TY - BOOK AU - Rose H E TI - Subrecursion:functions and hierarchies T2 - Oxford Logic Guides; 9 U1 - B135, M4 PY - 1984/// CY - Oxford PB - Clarendon N1 - Bibliographical 183-186p ER -