TY - BOOK CN - QA248.5 CN - QA248.5 CY - Providence, DA - 1962. 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." PB - American Mathematical Society, PP - Providence, PY - 1962. T1 - Recursive function theory. TI - Recursive function theory. VL - v. 5 ER -