Recursion and computation, PDF file, 152 pages, the lecture notes I have been using in Mathematics 114C Computability theory at UCLA,

Texto de nivel muy superior al del curso. 

Haga clic en el enlace http://www.math.ucla.edu/~ynm/books.htm para abrir el recurso.