This is a very nice, well-written introduction to Turing machines, undecidability and complexity. It gives a slightly different point of view, emphasising the "Busy-Beaver" problem.