The Mathematical Analysis of LogicBeing an Essay Towards a Calculus of Deductive Reasoning by Boole, George
 is a Project Gutenberg book, now on Github.