I bought a used copy of the book and software at the beginning of the term, for a class. Now that we're starting it, I find out that a) we will be using the CD's software, including the online grading service, and therefore b) the copy I bought is useless to me.

The grading service records one email address (i.e. that of the previous owner) per book number. That email, necessary for submitting homework and for sending you the results, cannot ever be changed. In my case, it turns out the CD (which includes a .pdf copy of the textbook anyway) was the important part of the purchase . . . and will not work since it's been used before.

So be warned: don't buy the package used if you will need the software.

Stanford uses this book in its two introductory philosophy classes (philosophy 57 and phil 159). It is appropriate for students without much exposure to math or computer science, as it is very verbose--much more so than Enderton's _Mathematical Logic_ for example.

Students found the software initially frustrating, and the instructor interface can also be harder to use than it should be, but in the end it is worth it. I handed out a survey at the end of one course and the students generally thought the software was helpful and shouldn't be omitted. Showing the students what to do can be helpful. I just took part of a class period and went through (using laptop+projector) installing the software, building a world, writing a sentence, submitting a few exercises, and getting feeback by email.

Oh, and even if the software [was bad], instructors w/o TAs would probably still love it, as 2/3rds of the exercises can be graded automatically.

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.

The accompanying web site is unreachable. Most examples are based on a commercial package (TicleMan)

I believe this book deserves a 5 stars rating. But you cannot get the examples with the provided username and password. This means wasting time which avoiding it is the reason for buying this book from the beginning.

I definitely wish that every technical book was as well researched and written as this one is. If you're trying to build a network management application using TCL/Tk, this book is invaluable. Watch out for two things, however: The Scotty examples are using a pre-release 3.0 version of TNM, while most of us in the real world are using the non-commercial 2.1.9 version, so the examples don't work exactly as shown. Also, the website that the book directs you to doesn't have all of the code discussed in the book. Despite these few flaws, it's still worth five stars in my opinion.