Instruct: Classify Amazon reviews into positive or negative sentiment
Query: An excellent upper-level undergrad treatment

This is an outstanding technical text. The author is a clear and engaging writer, with evident deep experience teaching university logic. While he does not overuse notation, this is still a fairly mathematical book (eg, repeated use is made of proof by induction). While the author tries hard, many of the definitions and semantic distinctions made in logic remain subtle (eg, "valid under all interpretations", "semantic versus syntactical turnstyles"). Perhaps the only drawback of this text is that the author spends no time on multi-valued or intuitionistic logics. That's not a criticism, in my view.Logic, by which I mean the mathematics of truth functors and quantifiers, is a tool that ought to be better known and more widely used. Maybe Bostock will move us toward that goal.