2 libri in questo genere
Classical and new paradigms of computation and their complexity hierarchies
Benedikt Löwe
General recursion theory
J. E. Fewstad
