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