Smullyan, Raymond M.
A K Peters Ltd.
Having in the past written both recreational puzzle books and more technical writings in the field of symbolic logic, Smullyan here presents a hybrid intended to serve as a text for a one- or two-semester introductory course in logic. He begins with puzzles involving liars and truth-tellers, moves into the subject of propositional logic, which formalizes the reasoning of the liar/truth-teller puzzles, and then presents materials of first-order logic, while including discussion of infinity and formal axiomatics.
([c]2009 Book News, Inc., Portland, OR)