sentence: Type bool expressions are named after the English mathematician George Boole, who formulated rules for mathematical logic.
modified: fix grammar: Types bools expression are named after the English mathematicians Georges Booles, who formulated rule for mathematical logics.