A computational approach to George Boole's discovery of mathematical logic | Publicación