An Investigation of the Laws of Thought Douban
author:
George Boole
publishing house:
Dover Publications
1958
- 6
A timeless introduction to the field and a landmark in symbolic logic, showing that classical logic can be treated algebraically.