content: As an accompaniment to the program MacLogic for an upper level course I can see where this book would have a place. Unfortunately my introduction to it was tutoring for an introductory class. The material is well written and organized but far too densely written, particularly for students who have never had a logic class before and are coming from questionable mathematics backgrounds. That there is no index of symbols just makes navigating the text that much more difficult.On another level, the author seems to eschew a good many things that many other logic courses--at least those I've seen and taken--use in depth. Things like Modus Ponens are barely touched on in favor of "v E" (disjunction elimination). This seems unusual for an introductory textbook in the field, though I am not familiar enough to know for certain.