Logic machines and diagrams by Martin Gardner · Bookplated