The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning

George Boole was an English mathematician and logician. He worked in the fields of differential equations and algebraic logic. Boolean logic (once described as "0 and 1" logic) is credited with laying the foundations for the information age. In 1841 Boole published an influential paper in early invariant theory. He received a medal from the Royal Society for his 1844 work, On A General Method of Analysis. It was a contribution to the theory of linear differential equations, moving from the case of constant coefficients on which he had already published, to variable coefficients. In 1847 Boole published The Mathematical Analysis of Logic, the first of his works on symbolic logic.