Logic machines and diagrams / Martin Gardner. Brighton, Sussex : Harvester Press, 1983