Symbolic Logic and the Game of Logic (Dover Recreational Math)

In this unique fusion of logical thought and inimitable whimsy, Over 350 ingenious problems involve 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.