Collected Logical Works by Boole George Boole