Timeline of mathematical logic
A timeline of mathematical logic; see also history of logic. == 19th century == 1847 – George Boole proposes symbolic logic in The Mathematical Analysis of Logic, defining what is now called Boolean algebra.
Source: Wikipedia — Timeline of mathematical logic (CC BY-SA 4.0)