Title: Good book, decent software
Product review: The book itself is a good introduction to deductive logic for those without prior experience with it. The software (specifically Fitch and Tarski's World) can be helpful, but they seem to lack some basic features (such as the ability to delete the first line of a subproof without deleting everything, multi-line copy and paste, ability to remember the authorization key without a bit of hacking around, etc).For those with decent experience in propositional and first-order logic, I'd recommend a more advanced book.
Would you say this review depicts the product in a flattering or unflattering light?
