odifreddi1989-classical-recursion-theory

Piergiorgio Odifreddi (1989). Classical Recursion Theory. Amsterdam: North-Holland.

https://shop.elsevier.com/books/classical-recursion-theory/odifreddi/978-0-444-89483-0