+1. It was a terrific read when I took my Computability course, very, very well-written.