Logic machines, diagrams and boolean algebra. - Gardner, Martin, 1914- (Dover, 1968)