The Mathematical Analysis of Logic - by von George Boole