An Investigation of the Laws of Thought&#13;On which are founded the mathematical theories of logic and probabilities by Boole, George
 is a Project Gutenberg book, now on Github.