This annotated version of Boole's "Mathematical Analysis of Logic" makes the extent to which Boole based his algebra of logic on the algebra of the integers. Problems are pointed out that will be dealt with in his famous 1854 "Laws of Thought"

The algebra Boole used in MAL to analyze logical reasoning is quite elementary, at least until the general theory starts on p. 60. But there is much that needs to be clarified---on many a page one can ask "Exactly what did Boole mean to say here?"