TY - BOOK AU - Weber, Rebecca TI - Computability theory SN - 9780821873922 U1 - 511.352 PY - 2012/// CY - Providence PB - American Mathematical Society KW - Recursion theory KW - Computable functions ER -