Augustus De Morgan (1806–1871) was a British mathematician and logician best known for formulating De Morgan's laws. De Morgan is also known for coining the term mathematical induction and formalizing the principles underlying induction. De Morgan's contributions to logic have been used in set theory, probability theory, computer science, and other fields.

George Peacock FRS was an English mathematician and Anglican cleric. He founded what has been called the British algebra of logic.