TY - BOOK AU - Weber, Rebecca TI - Computability theory: _ SN - 9781470425944 U1 - 511.352 PY - 2012/// CY - Rhode Island PB - American Mathematical Society KW - KW - Recursion theory KW - Computable functions N1 - includes bibliographical references and index ER -