Logic machines and diagrams. by Martin Gardner