Title: Excellent Textbook
Product review: This is an excellent book on a subject that I find very interesting. I think the problem some people have with this subject is the level of abstraction and rigor as well as the fact that in advanced theoretical computer science (as in mathematics and formal logic) one must formally justify their assertions. This separates the programmer from the researcher. Unfortunatley, the class I took had mostly undergrads who were either not motivated or just not interested in this subject.
Would you say this review depicts the product in a flattering or unflattering light?
