"Over 350 ingenious problems involving classical logic: logic is expressed in terms of symbols; syllogisms and the sorites are diagrammed; logic becomes a game played with 2 diagrams and a set of counters. Two books bound as one."