"The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning" - читать интересную книгу автора (George Boole)