Books

Books : reviews

N. J. Cutland.
Computability: an introduction to recursive function theory.
CUP. 1980

(read but not reviewed)