2 books in this genre
Classical and new paradigms of computation and their complexity hierarchies
Benedikt Löwe
General recursion theory
J. E. Fewstad
