[en] The Life and Work of George Boole Cork University Press