TY - BOOK CN - QA248.5 CN - QA248.5 ID - 61331 KW - Recursive functions. KW - Recursive functions N1 - "Sponsored by the American Mathematical Society, the Association for Computing Machinery, and the Association for Symbolic Logic." T1 - Recursive function theory / TI - Recursive function theory / VL - v. 5 ER -