Since this is a textbook, let's just do simple pros and cons.
PROS:
It's a fine introduction to symbolic logic and many different types of formal logical systems. Chapter 2 covers basic syllogistic logic, then it gets into more classical logic in chapters 6 through 9. Once you've learned about propositional and quantificational logic, it moves on to modal logic (10/11) , deontic/imperative logic (12), and belief logic (13). The way these build on each other and the way you learn in tiny bits is a great idea and quite effective in teaching the material. I am following his basic course through self-study and I've gone through Chapters 1,2,6,7, 8, and 10. I'm amazed at how easy it is and how much I've learned in a couple of weeks. I think I will persevere and go through the other symbolic logic chapters -- 9, 11-13 -- since it is easier to learn than I had thought.
What I especially like about its treatment of symbolic logic is how intuitive and mechanical the proofs are. The test for validity of syllogisms is a cinch to learn. Sometimes the translations are a bit difficult, but so far this is more like maths. Eventually you get a right answer, not just endless loops of intuitive guesswork and what not. This doesn't apply to everything (relational quantification logic), but it applies to most of the book. So it's more user-friendly than some of the other logic books I've looked at with the traditional proof methods and so on.
The Logicola program included with the book is also extremely helpful. I'd recommend that you use it for review - not only do you learn more, but it's like having a professor to consult in the absence of the real thing. You can get tailored logic problems at your level and immediate feedback on what you're doing wrong if you make a mistake.
Finally, the author is an incredibly nice man. I've e-mailed him on a couple of occasions and he has answered my questions.
CONS:
Its introduction to formal logic is too skimpy. The chapters about informal and inductive logic are also too short I think. What you really need are more thorough books for these two areas, and I think some other textbooks do a better job of introducing the subject as a whole.
Also, it's symbolic logic. This mostly seems to be formal systems of symbol manipulation with a lot of built in rules and assumptions. It may be usefully applied to extremely specific fields (computers, maths, and so on), but the main reason I'm working through this book is so I'm not completely at a loss if I encounter logical analysis in a book. Last month, for instance, I read a philosophical book on the Stoics with a heavy dose of logical analysis. Being completely dumbfounded by this, I selected this book to help me with my complete lack of logic ability.
On the whole, it's a fine book for learning basic symbolic logic. You should look elsewhere for learning inductive or informal logic -- 3.5 to 4 stars on my rating scale.
Be warned though: the Kindle version didn't translate too well from the paper version. There are mismatched problems all over the place and the formatting is often to blame for not being able to read some of the text. It's not a major problem, but it could annoy you in places.