The Life and Work of George Boole