I appreciate the effort, but I think Foundations of Computer Science covers the same material, only better and more rigorously: http://infolab.stanford.edu/~ullman/focs.html