"The Mathematical Analysis of Logic" - читать интересную книгу автора (George Boole)