Books on computability theory from the (wider) mathematical perspective Hartley Rogers, Jr (1987). Theory of Recursive Functions and Effective Computability, MIT Press. . Carl H. Smith, A recursive introduction to the theory of computation, Springer, 1994, . A shorter textbook suitable for graduate students in Computer Science.
Books on computability theory from the (wider) mathematical perspective Hartley Rogers, Jr (1987). Theory of Recursive Functions and Effective Computability, MIT Press. . Carl H. Smith, A recursive introduction to the theory of computation, Springer 1994,  A shorter textbook suitable for graduate students in Computer Science.