Presumptuous linkbait title. Bleh. Can't comment on most, but I had heard of half. For an introduction to computability theory, I much preferred Kozen (Autom

Presumptuous linkbait title. Bleh. Can't comment on most, but I had heard of half. For an introduction to computability theory, I much preferred Kozen (Automata and Computability) to Sipser. I thought it was a good deal cleaner in its presentation, and it contains more material.