"Logic machines and diagrams" - читать интересную книгу автора (Martin Gardner)