Computability theory - Weber, Rebecca (Providence American Mathematical Society, 2012)
Keywords: Recursion theory; Computable functions