Logical labyrinths.

9781568814438

Logical labyrinths.

Smullyan, Raymond M.

A K Peters Ltd.

2009

327 pages

$49.00

Hardcover

QA9

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)