A Boole anthology recent and classical studies in the logic of George Boole (Kluwer Acad. Publ., 2000)