Английский математик, разработавший алгебру логики, 4 буквы

Вопрос с кроссворда: «английский математик, разработавший алгебру логики», по вертикали 4 буквы, что за слово?

Подсказка:

Первая буква «б».

Вторая буква «у».

Третья буква «л».

Четвертая буква «ь».

Правильным ответом является слово: буль

буль