Collected logical works - Boole, George (The Open Court, 1952)