Rating: 
Summary: Poor Book for Self-Study
Review: The only reason to use this book is if it is required for your class, in which case there's no reason for you to be reading these reviews. If, like me, you are studying logic on your own, don't waste your time with this book. In order to check your work using the authors' website, you need to have the most recent (and therefore most expensive) edition.
I suppose this book does an okay job teaching logic programming to CS students, but I think there are better books on the market for that purpose. And if you are interested in philosophical logic, I recommend either Copi's or Gensler's book over this one.
Rating: 
Summary: excellent logic text with super software, exercises
Review: This text is written in a very clear (shall I say logical?) manner. It covers all a first order logic course can consider.
The exercises are very well thought out and doing them gives the reader a thorough understanding of the subject matter in a chapter.
I disagree with another reviewer (John Rocklin) who did not like the software. There are adequate help files (he said there were none). The software is understandable, especially with 1) using it, 2) help files and 3) manual. It is extraordinarily useful to construct a "world" in which to test the truth of logical statements, prove the truth of a series of statements and devive a truth table for a given statement. The opportunity to send exercise answer files over the net and have them graded in minutes is a great feedback mechanism. The student can send files for grading until they are correct and then also send them to the professor for credit.
All in all, highly recommended.
Rating:
Summary: Great beginner's logic book, software useful.
Review: Yes, as many have already complained, the software used extensively in this book is not at all intuitive. It is, however, an excellent learning method, I found that the grader was extremely helpful at reinforcing the book's material. For those of you that need a bit of help, check out: www.geocities.com/lplsolutions A lot of help with the book can be found here. Good luck!
| 
