"Алгебра логики" - читать интересную книгу автора (Кутюра Л.(Couturat L.) )