The Life and Work of George Boole A Prelude to the Digital Age by Des MacHale