The Mathematical Analysis of Logic by George Boole