See also: en.wikipedia
An Investigation of the Laws of Thought
The Mathematical Analysis of Logic
The calculus of logic