Negative Positive
Title: This book does not deliver what it promises
Review: I bought this book on the strength of the claim that it makes the difficult subject of logic accessable to computer scientists. I was very disappointed to find a book steeped in formulaic arcana and obtuse descriptions. The author does not "clarify the relationships between logic languages, functional languages, and object oriented languages" as promised in the Booknews review. Apparently the author thinks clarity is found in logic formulas, but most of us prefer actual clear, concise English-language sentences.
Is the review positive or negative? 