1_Fx9NrYfI_Models of Computation - An Introduction to Computability Theory (Undergrad Topics in CS), Springer (2009)

计算理论